5863 search results - page 1045 / 1173 » On Model-Checking of P Systems |
132
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We present a new polynomial-space algorithm for solving Distributed Constraint Optimization problems (DCOP). The algorithm, called NCBB, is branch and bound search with modificati...
124
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
136
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Intelligent software personal assistants for human organizations are an active research area within the multiagent community. However, while many capabilities for these software p...
142
click to vote
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we examine the suitability of the Business Process Modelling Notation (BPMN) for business process modelling, using the Workflow Patterns as an evaluation fr...
141
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...