1728 search results - page 176 / 346 » Formal Modeling of Process Migration |
174
click to vote
AIPS
2000
15 years 7 months ago
2000
This paper develops Probabilistic Hybrid Action Models (PHAMs), a realistic causal model for predicting the behavior generated by modern concurrent percept-driven robot plans. PHA...
199
click to vote
MOBIQUITOUS
2008
IEEE
16 years 24 days ago
2008
IEEE
Mobile ad hoc networks can be leveraged to provide ubiquitous services capable of acquiring, processing, and sharing real-time information from the physical world. Unlike Internet...
171
click to vote
SPLC
2004
15 years 7 months ago
2004
Feature modeling is an important approach to capturing commonalities and variabilities in system families and product lines. In this paper, we propose a cardinality-based notation ...
149
click to vote
FM
2009
Springer
16 years 29 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
175
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...