10159 search results - page 1844 / 2032 » System Design Validation Using Formal Models |
131
click to vote
WCRE
2005
IEEE
15 years 7 months ago
2005
IEEE
In recent years, code obfuscation has attracted attention as a low cost approach to improving software security by making it difficult for attackers to understand the inner worki...
127
click to vote
AOSE
2005
Springer
15 years 7 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
126
click to vote
CSCW
2004
ACM
15 years 7 months ago
2004
ACM
This paper considers the complexity of measuring the return on investment for technology adoption. A brief case study of technology adoption in a large design and construction fir...
149
Voted
ISORC
2003
IEEE
15 years 7 months ago
2003
IEEE
Fault tolerance schemes for mobile agents to survive agent server crash failures are complex since developers normally have no control over remote agent servers. Some solutions mo...
105
click to vote
ICRA
1998
IEEE
15 years 6 months ago
1998
IEEE
The bow leg hopper is a new design for a locomoting system with a resilient, flexible leg. It features a passive stance phase and natural pitch stability. It is controlled with ac...