1581 search results - page 129 / 317 » Competitive intelligence process and tools for intelligence ... |
155
click to vote
APN
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
129
click to vote
FLAIRS
2006
15 years 5 months ago
2006
We introduce the particular functionality of the Complaint Engine suite, the integrated complaint management component for mediating consumer disputes. We formulate the problem of...
112
click to vote
MASA
2001
Springer
15 years 8 months ago
2001
Springer
Virtual environments provide a rich and varied domain for intelligent agents, but questions of design and development in this context are still to be answered. An agent with multip...
136
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
154
click to vote
MICAI
2005
Springer
15 years 9 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...