3342 search results - page 577 / 669 » Automating Abstract Interpretation |
CSL
2005
Springer
14 years 3 months ago
2005
Springer
ce, the publication of the abstract of the thesis and the citation in the CSL proceedings, and travel support to attend the conference. The first Ackermann Award is presented at t...
DSVIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
EUC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Radio Frequency Identification (RFID) finds use in numerous applications involving item identification and tracking. In a typical application, RFID tags are attached t...
FASE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
ICCBR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Process-aware information systems (PAIS) allow coordinating the execution of business processes by providing the right tasks to the right people at the right time. In ord...