3378 search results - page 249 / 676 » A universe of binding and computation |
178
click to vote
PERCOM
2006
ACM
16 years 1 months 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...
196
click to vote
FOSSACS
2005
Springer
16 years 25 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...
181
click to vote
FOSSACS
2004
Springer
16 years 21 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...
190
click to vote
SIGUCCS
2003
ACM
16 years 17 days 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 ...
211
click to vote
ASM
2003
ASM
16 years 16 days 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...