3765 search results - page 353 / 753 » Formal Methods for Systems Engineering Behavior Models |
187
click to vote
SEW
2003
IEEE
16 years 1 days ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
164
click to vote
WSC
2000
15 years 8 months ago
2000
This paper discusses Simphony as an integrated environment for building special purpose simulation tools for modeling construction systems. Simphony provides various services that...
177
click to vote
INFOCOM
2006
IEEE
16 years 24 days ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
203
click to vote
EWDW
1990
15 years 10 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
187
Voted
TLDI
2003
ACM
16 years 18 hour ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...