11063 search results - page 1880 / 2213 » On the existence of universal models |
184
click to vote
IDMS
2001
Springer
15 years 11 months ago
2001
Springer
A number of research studies show that the operating system has a substantial influence on communication delay in distributed environments. Thus, in order to provide applications w...
169
click to vote
MDM
2001
Springer
15 years 11 months ago
2001
Springer
Sensor networks are being widely deployed for measurement, detection and surveillance applications. In these new applications, users issue long-running queries over a combination o...
169
Voted
PADL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
184
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on ...
155
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
Digital libraries and OPACs are offering an enormous collection of information resources which can be accessed through Internet by quite different users thanks to the existence of...