146
Voted
CNSR
2004
IEEE
15 years 7 months ago
2004
IEEE
A fundamental problem that confronts future applications of sensor networks is how to efficiently locate the sensor node that stores a particular data item. It is known that distr...
125
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
135
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Layered architectures are a proven principle for the design of software systems and components. The paper introduces a layered reference architecture for software agents which assi...
123
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Recently we had proposed two untraceability protocols for mobile agents and began investigating their quality. We believe that quality evaluation of security protocols should exte...
107
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Most research on auctions assumes that potential bidders have private information about their willingness to pay for the item being auctioned, and that they use this information s...