1895 search results - page 345 / 379 » Using ATL for Checking Models |
109
Voted
ASWEC
2001
IEEE
15 years 4 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
116
click to vote
SIGGRAPH
1995
ACM
15 years 4 months ago
1995
ACM
We are presenting techniques for simulating the motion and the deformation of cloth, fabrics or, more generally, deformable surfaces. Our main goal is to be able to simulate any k...
126
Voted
AP2PS
2009
IEEE
15 years 3 months ago
2009
IEEE
—P2P computing platforms are subject to a wide range of attacks. In this paper, we propose a generalisation of the previous disk-less checkpointing approach for fault-tolerance i...
112
click to vote
MMB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
127
click to vote
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
The extension of Regular Expressions (REs) with an interleaving (shuffle) operator has been proposed in many occasions, since it would be crucial to deal with unordered data. Howe...