Works matching IS 00985589 AND DT 2014 AND VI 40 AND IP 2
Results: 6
Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 2, p. 154, doi. 10.1109/TSE.2014.2302433
- By:
- Publication type:
- Article
Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 2, p. 107, doi. 10.1109/TSE.2014.2302311
- By:
- Publication type:
- Article
Quality-Aware Service Selection for Service-Based Systems Based on Iterative Multi-Attribute Combinatorial Auction.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 2, p. 192, doi. 10.1109/TSE.2013.2297911
- By:
- Publication type:
- Article
Multi-Objective Quality-Driven Service Selection—A Fully Polynomial Time Approximation Scheme.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 2, p. 167, doi. 10.1109/TSE.2013.61
- By:
- Publication type:
- Article
Learning Assumptions for CompositionalVerification of Timed Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 2, p. 137, doi. 10.1109/TSE.2013.57
- By:
- Publication type:
- Article
GossipKit: A Unified ComponentFramework for Gossip.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 2, p. 123, doi. 10.1109/TSE.2013.50
- By:
- Publication type:
- Article