4693 search results - page 472 / 939 » Verifying Hybrid Systems |
182
Voted
UAI
2004
15 years 8 months ago
2004
We introduce the study of sequential information elicitation in strategic multi-agent systems. In an information elicitation setup a center attempts to compute the value of a func...
160
Voted
KIC
2000
15 years 8 months ago
2000
: We present a framework that verifies and maintains the consistency between the representations of the form, function and behavior of mechatronic devices. These three aspects of t...
231
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
174
click to vote
CAISE
2010
Springer
15 years 8 months ago
2010
Springer
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...
194
click to vote
ADHOC
2007
15 years 7 months ago
2007
In many sensor networking environments, the sensor nodes have limited battery capacity and processing power. Hence, it is imperative to develop solutions that are energy-efficient...