1894 search results - page 258 / 379 » A TLA Proof System |
PRIMA
2007
Springer
15 years 10 months ago
2007
Springer
Agent interactions where the agents hold conflicting goals could be modelled as adversarial argumentation games. In many real-life situations (e.g., criminal litigation, consumer ...
153
click to vote
SAMOS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a configurable base architecture tailorable for different applications. It allows simple and rapid way to evaluate and prototype large Multi-Processor System-on...
124
click to vote
SSS
2007
Springer
15 years 10 months ago
2007
Springer
In [Dij74] Dijkstra introduced the notion of self-stabilizing algorithms, and presented three such algorithms for the problem of mutual exclusion on a ring of processors. The thir...
147
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Mobile advertising, which is an area of mobile commerce, is a form of advertising that targets users of handheld wireless devices such as mobile phones and personal digital assist...
143
Voted
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
- We are conducting research and development in technology for unifying the information of a large number of intelligent sensors distributed in a disaster-stricken area. Operating ...