3765 search results - page 373 / 753 » Formal Methods for Systems Engineering Behavior Models |
202
click to vote
LICS
1998
IEEE
15 years 10 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
177
click to vote
IPL
2007
15 years 6 months ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
197
click to vote
TOG
2008
15 years 6 months ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
154
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a multi-vehicle platform and framework for robotics education and research. The system is designed as an educational tool for introducing children to engine...
194
click to vote
ML
2010
ACM
15 years 5 months ago
2010
ACM
Current trends demonstrate an increasing use of polymorphism by attackers to disguise their exploits. The ability for malicious code to be easily, and automatically, transformed in...