6155 search results - page 988 / 1231 » A language for multiple models of computation |
158
click to vote
COCOON
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine can be deterministic, nondeterministic, realtime (the...
165
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team t...
173
click to vote
ASIAN
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
155
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
148
click to vote
ECOWS
2007
Springer
16 years 23 days ago
2007
Springer
BPEL has emerged as the industrial standard language for modelling behavioral aspects of web services. To support business partners in dynamically and flexibly binding their serv...