675 search results - page 45 / 135 » A Constraint-Driven Executable Model of Dynamic System Recon... |
117
click to vote
IANDC
2006
15 years 3 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
110
click to vote
FUIN
2006
15 years 3 months ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
155
click to vote
MOBILWARE
2010
ACM
15 years 1 months ago
2010
ACM
We propose a new elastic application model that enables the seamless and transparent use of cloud resources to augment the capability of resourceconstrained mobile devices. The sal...
188
click to vote
FUIN
2007
15 years 3 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
129
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...