2073 search results - page 252 / 415 » Reactive Information Displays |
132
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
142
click to vote
MSWIM
2004
ACM
15 years 9 months ago
2004
ACM
Emerging “urban” ad hoc networks resulting from a large number of individual WLAN users challenge the way users could explore and interact with their physical surroundings. Ro...
144
Voted
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...
122
click to vote
ISW
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
143
click to vote
ALS
2003
Springer
15 years 9 months ago
2003
Springer
This is foremost a methodological contribution. It focuses on the foundation of anticipation and the pertinent implications that anticipation has on learning (theory and experiment...