211 search results - page 39 / 43 » Causal Behaviours and Nets |
SAFECOMP
2001
Springer
14 years 2 days ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...
IFM
1999
Springer
13 years 12 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
ROBOCUP
1999
Springer
13 years 12 months ago
1999
Springer
This paper describes the Agilo RoboCuppers 1 – the RoboCup team of the image understanding group (FG BV) at the Technische Universit¨at M¨unchen. With a team of five Pioneer 1...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
ISARCS
2010
13 years 11 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...