1122 search results - page 70 / 225 » Behavioral Extensions of Institutions |
134
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
204
click to vote
CAMP
2005
IEEE
15 years 11 months ago
2005
IEEE
— This paper describes the prey-predator multiagent hich can be considered as an abstraction of more complex real-world models. Both the prey and the predators are considered as ...
158
click to vote
ECRTS
2005
IEEE
15 years 11 months ago
2005
IEEE
Advances in wireless technology have brought us closer to extensive deployment of distributed real-time embedded systems connected through a wireless channel. The medium access co...
143
click to vote
IBPRIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Two extensions of the original Wilson’s editing method are introduced in this paper. These new algorithms are based on estimating probabilities from the k-nearest neigh...
155
click to vote
FATES
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...