7209 search results - page 649 / 1442 » Software Engineering for Multi-Agent Systems |
132
click to vote
VMCAI
2009
Springer
15 years 12 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
163
click to vote
VMCAI
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
132
click to vote
CSMR
2009
IEEE
15 years 12 months ago
2009
IEEE
Multi-agent systems (MAS) are increasingly being exploited to support autonomous recommendation of products and information to contemporary application users. Multi-agent system p...
123
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
132
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....