2024 search results - page 49 / 405 » A Formal Model of Multi-agent Computations |
71
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
In this work we start walking the path to a new perspective for viewing cyberwarfare scenarios, by introducing conceptual tools (a formal model) to evaluate the costs of an attack...
FASE
2004
Springer
15 years 4 months ago
2004
Springer
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
87
Voted
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
ACSD
2010
IEEE
14 years 9 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
103
click to vote
REST
2010
ACM
15 years 27 days ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...