2935 search results - page 57 / 587 » An Integrated Approach to High Integrity Software Verificati... |
134
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
This report will present a collection of tools that supports the precise definition, careful analysis, and execution of processes that coordinate the actions of humans, automated d...
130
click to vote
SIGSOFT
1998
ACM
15 years 8 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
120
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Quality assurance techniques for web applications have become increasingly important as web applications have gained in popularity and become an essential part of our daily lives....
151
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes the specification, design and development of ACTIVE, a testbed for the testing and simulation of large-scale agent-based systems. ACTIVE is being developed as...
118
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
The long term impact of MEMS technology will be in its ability to integrate novel sensing and actuation functionality on traditional computing and communication devices enabling t...