3378 search results - page 249 / 676 » A universe of binding and computation |
160
Voted
PERCOM
2006
ACM
16 years 20 days ago
2006
ACM
—Efficient information management is crucial for the timely administration of Emergency Medical Services (EMS). In this paper, we describe a project to design and implement an au...
173
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
156
click to vote
FOSSACS
2004
Springer
16 years 1 days ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
163
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
The University of Delaware has a powerful legacy SIS system. The University plans to replace this system in 2004-05. In the meantime, we have populated WebCT rosters using custom ...
189
click to vote
ASM
2003
ASM
15 years 12 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...