3765 search results - page 569 / 753 » Formal Methods for Systems Engineering Behavior Models |
167
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
180
click to vote
B
2007
Springer
16 years 22 days ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
157
click to vote
WSC
2001
15 years 8 months ago
2001
This paper presents a method for simulating basic manufacturing operations (unload, load, process, move, and store) in a 3D virtual environment. The virtual environment provides a...
175
click to vote
IJACTAICIT
2010
15 years 1 months ago
2010
The theory of regions has been recognized as the optimal deadlock prevention policy based on the marking/transition-separation instance (MTSI) or the event-state-separation-proble...
169
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
We present an extension of a computational cognitive model of social tagging and exploratory search called the semantic imitation model. The model assumes a probabilistic represen...