862 search results - page 112 / 173 » Model Checking Interrupt-Dependent Software |
113
click to vote
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
137
click to vote
SCESM
2006
ACM
15 years 5 months ago
2006
ACM
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...
RE
2001
Springer
15 years 4 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
107
click to vote
ICSE
1993
IEEE-ACM
15 years 4 months ago
1993
IEEE-ACM
Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably ...