5863 search results - page 941 / 1173 » On Model-Checking of P Systems |
163
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
111
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
In multi-agent systems where sets of joint actions (JAs) are generated, metrics are needed to evaluate these sets and efficiently allocate resources for the many JAs. For the case...
163
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
174
click to vote
BPM
2005
Springer
16 years 3 days ago
2005
Springer
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
161
click to vote
HIPC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The proliferation of multiprocessor servers and multithreaded applications has increased the demand for high-performance synchronization. Traditional scheduler-based lock...