3729 search results - page 635 / 746 » On Formal Modeling of Agent Computations |
145
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Whether or not a critical threshold exists when epidemic diseases are spread in complex networks is a problem attracting attention from researchers in several disciplines. In 2001...
188
click to vote
AAAI
2000
15 years 7 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
137
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
150
click to vote
GC
2004
Springer
15 years 11 months ago
2004
Springer
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statechar...
175
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...