6413 search results - page 207 / 1283 » Classes of cycle bases |
164
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
203
click to vote
APSCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
149
click to vote
APCCM
2004
15 years 8 months ago
2004
Integration of autonomous object-oriented systems requires the integration of object structure and object behaviour. Research in federated information systems has so far mainly ad...
130
click to vote
FLAIRS
2001
15 years 8 months ago
2001
Thispaperdiscussesa proof-of-conceptprototypefor ground-basedautomaticgenerationof validatedrover commandsequences from high-level science and engineeringactivities.Thisprototypei...
214
click to vote
WISES
2003
15 years 8 months ago
2003
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...