2638 search results - page 366 / 528 » Frameworks for Reasoning about Agent Based Systems |
144
click to vote
MONTEREY
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
213
click to vote
IMA
2005
Springer
15 years 12 months ago
2005
Springer
In recent years cryptographic protocols based on the Weil and Tate pairings on elliptic curves have attracted much attention. A notable success in this area was the elegant solutio...
200
click to vote
DSN
2005
IEEE
16 years 3 days ago
2005
IEEE
Since sensor data gathering is the primary functionality of sensor networks, it is important to provide a fault tolerant method for reasoning about sensed events in the face of ar...
205
click to vote
IUI
1997
ACM
15 years 10 months ago
1997
ACM
Most classification tasks that have been tackled for automation are ones involving complex chains of causal reasoning. However, our daily lives are filled with simple classificati...
163
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe our real time decision support system; a system that supports information gathering and managing of an investment portfolio. Our system uses the Object Oriented Bayesi...