1728 search results - page 192 / 346 » Formal Modeling of Process Migration |
119
click to vote
FGR
2008
IEEE
15 years 4 months ago
2008
IEEE
Data collected through a recent web-based survey show that the perception (i.e. labeling) of a human facial expression by a human observer is a subjective process, which results i...
103
click to vote
UAI
2008
15 years 4 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
198
click to vote
CLIMA
2011
14 years 2 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
128
click to vote
AINA
2009
IEEE
15 years 9 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
142
click to vote
APIN
1998
15 years 2 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...