1380 search results - page 80 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
AAMAS
2005
Springer
13 years 9 months ago
2005
Springer
A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...
DSN
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
EPIA
2009
Springer
14 years 3 months ago
2009
Springer
Computational Trust and Reputation (CTR) systems are platforms capable of collecting trust information about candidate partners and of computing confidence scores for each one of t...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
FSTTCS
2006
Springer
14 years 20 days ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...