3425 search results - page 180 / 685 » A Model Driven Approach for Software Systems Reliability |
152
Voted
COMPSAC
1995
IEEE
15 years 7 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
150
Voted
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
150
Voted
JECR
2000
15 years 3 months ago
2000
Software agents are a major innovation in how people use information systems, and they have parallels with how Decision Support Systems (DSS) support human decision-making. A DSS ...
153
Voted
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
121
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...