4460 search results - page 364 / 892 » Formal methods for interactive systems |
164
Voted
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
Managing trust is a problem of particular importance in peer-to-peer environments where one frequently encounters unknown agents. Existing methods for trust management, that are b...
181
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
232
click to vote
WOA
2010
15 years 4 months ago
2010
This paper presents an approach for multi-robot coordination based both on coordinated navigation and task allocation method. An ad hoc agent based architecture is defined in order...
164
Voted
AMOST
2005
ACM
16 years 9 days ago
2005
ACM
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
190
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...