5863 search results - page 945 / 1173 » On Model-Checking of P Systems |
164
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
179
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
Effective use of multimedia collections requires efficient and intuitive methods of searching and browsing. This work considers databases which store music and explores how these...
162
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
We present MRNet, a software-based multicast/reduction network for building scalable performance and system administration tools. MRNet supports multiple simultaneous, asynchronou...
150
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
This paper investigates the pre-conditions for successful combination of document representations formed from structural markup for the task of known-item search. As this task is ...
156
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper unifies two recent strands of research in multiagent system design. One, commitments are widely recognized as capturing important aspects of interactions among agents,...