5863 search results - page 836 / 1173 » On Model-Checking of P Systems |
164
click to vote
ARC
2007
Springer
16 years 28 days ago
2007
Springer
This paper presents an overview regarding the synthesis of regular expressions targeting FPGAs. It describes current solutions and a number of open issues. Implementation of regula...
158
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
This paper presents an applicable model for complex multiattribute negotiations between autonomous agents. The model adopts a novel protocol which decomposes the original n-dimens...
164
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
183
click to vote
CIVR
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, we outline some of the main challenges facing trademark searchers today, and discuss the extent to which current automated systems are meeting those challenges. Cat...
158
click to vote
ER
2007
Springer
16 years 27 days ago
2007
Springer
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...