1728 search results - page 219 / 346 » Formal Modeling of Process Migration |
91
Voted
EDOC
2002
IEEE
15 years 5 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
117
Voted
ICCV
1995
IEEE
15 years 4 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
114
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
146
Voted
GAMEON
2003
15 years 2 months ago
2003
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
138
Voted
IAT
2010
IEEE
14 years 10 months ago
2010
IEEE
We utilize evolutionary game theory to study the evolution of cooperative societies and the behaviors of individual agents (i.e., players) in such societies. We present a novel pla...