2203 search results - page 183 / 441 » Temporal Abstract Interpretation |
137
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
126
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
131
Voted
HSNMC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Performance of real-time applications on network communication channels are strongly related to losses and temporal delays. Several studies showed that these network feat...
136
click to vote
PCM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we propose a Java-based collaborative authoring system for multimedia presentation. Our system is composed of an Editing System, a Media Object Manager and...
133
click to vote
RE
2004
Springer
15 years 9 months ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...