297 search results - page 32 / 60 » Validation of an agent based system using Petri Nets |
115
click to vote
IJCAI
2001
15 years 6 days ago
2001
Psychological studies on teamwork have shown that an effective team often can anticipate information needs of teammates based on a shared mental model. Existing multi-agent models...
SIGSAND
2008
15 years 8 days ago
2008
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
GG
2010
Springer
14 years 12 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
112
click to vote
APN
2010
Springer
15 years 3 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
AAAI
2006
15 years 7 days ago
2006
This paper summarizes our research in the area of semantic tagging at the word and sense levels and sets the ground for a new approach to text-level sentiment annotation using a c...