537 search results - page 65 / 108 » A threat-driven approach to modeling and verifying secure so... |
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
ENTCS
2006
13 years 7 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
CASES
2010
ACM
13 years 5 months ago
2010
ACM
Wired embedded networks must include multicast authentication to prevent masquerade attacks within the network. However, unique constraints for these networks make most existing m...
CIA
2003
Springer
14 years 26 days ago
2003
Springer
A multi-agent system is a network of software agents that cooperate to solve problems. In open multi-agent systems, the agents that need resources provided by other agents are not ...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...