1585 search results - page 73 / 317 » A framework for computer-aided validation |
ICSM
2003
IEEE
15 years 5 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
ISSRE
2003
IEEE
15 years 5 months ago
2003
IEEE
Today’s applications are highly mobile; we download software from the Internet, machine executable code arrives attached to electronic mail, and Java applets increase the functi...
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
100
click to vote
DSN
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper explores hardware-implemented error-detection and security mechanisms embedded as modules in a hardware-level framework called the Reliability and Security Engine (RSE)...
113
click to vote
WOA
2000
15 years 1 months ago
2000
The Mobile Agent (MA) paradigm seems able to support effectively distributed applications in open and heterogeneous environments, and application areas such as ecommerce appear to...