2632 search results - page 182 / 527 » Alternating Timed Automata |
174
Voted
WETICE
2006
IEEE
15 years 10 months ago
2006
IEEE
Peer-to-Peer architecture is currently an attractive solution for facilitating the use of collaboration software without any server. Multicasting is usually proposed for group com...
119
Voted
PET
2004
Springer
15 years 10 months ago
2004
Springer
Traditional methods for evaluating the amount of anonymity afforded by various Mix configurations have depended on either measuring the size of the set of possible senders of a p...
113
Voted
ASYNC
2003
IEEE
15 years 10 months ago
2003
IEEE
The lack of proven mechanisms for transferring data between multiple synchronous islands has been a major impediment for applying globally asynchronous locally synchronous (GALS) ...
127
Voted
EPIA
2001
Springer
15 years 9 months ago
2001
Springer
Dealing with temporality on actions presents an important challenge to AI planning. Unlike Graphplan-based planners which alternate levels of propositions and actions in a regular ...
112
click to vote
PAPM
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...