1728 search results - page 176 / 346 » Formal Modeling of Process Migration |
132
click to vote
AIPS
2000
15 years 4 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...
154
click to vote
MOBIQUITOUS
2008
IEEE
15 years 9 months 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...
124
click to vote
SPLC
2004
15 years 4 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 ...
103
click to vote
FM
2009
Springer
15 years 9 months 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...
139
click to vote
SIGGRAPH
1996
ACM
15 years 7 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...