5599 search results - page 1018 / 1120 » Abstract State Services |
136
click to vote
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
132
click to vote
ASM
2003
ASM
15 years 9 months ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
127
click to vote
GRID
2003
Springer
15 years 9 months ago
2003
Springer
Computational Grids have the potential to become the main execution platform for high performance and distributed applications. However, such systems are extremely complex and pro...
148
click to vote
ISORC
2002
IEEE
15 years 9 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
140
click to vote
BIRTHDAY
2010
Springer
15 years 9 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...