894 search results - page 45 / 179 » Universal Relations and |
SIGUCCS
1999
ACM
14 years 9 days ago
1999
ACM
The University of Portland Office of Computer and Telecommunication Services (CTS) created an Intranet web site for the University community during the summer of 1998. In the summ...
PKC
1999
Springer
14 years 8 days ago
1999
Springer
Abstract. Many applications rely on the security of their random number generator. It is therefore essential that such devices be extensively tested for malfunction. The purpose of...
IEPOL
2006
13 years 8 months ago
2006
: The paper analyses the scientific research production of more than a thousand faculty members at Louis Pasteur University, a large and wellranked European research university. Th...
ICALP
2011
Springer
12 years 11 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
ETS
2002
IEEE
13 years 7 months ago
2002
IEEE
Web-based learning tools provide integrated environments of various technologies to support diverse educators' and learners' needs via the Internet. This paper reports t...