3765 search results - page 561 / 753 » Formal Methods for Systems Engineering Behavior Models |
185
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
166
click to vote
WORM
2003
15 years 8 months ago
2003
Due to the fast spreading nature and great damage of Internet worms, it is necessary to implement automatic mitigation, such as dynamic quarantine, on computer networks. Enlighten...
194
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
We demonstrate a system for querying probabilistic XML documents with simple XPath queries. A user chooses between a variety of query answering techniques, both exact and approxim...
173
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. For high-spee...
202
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...