11063 search results - page 168 / 2213 » On the existence of universal models |
172
click to vote
ENTCS
2010
15 years 3 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
203
click to vote
MST
2011
15 years 1 months ago
2011
In this paper we generalize the Continuous Adversarial Queuing Theory (CAQT) model [5] by considering the possibility that the router clocks in the network are not synchronized. W...
156
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a summarization model based on the Universal Networking Language (UNL), which is a conceptual language for representing texts sentence by sentence, using seman...
165
click to vote
NOMS
2000
IEEE
15 years 11 months ago
2000
IEEE
Telephone Switches are characteristically long-lived, evolving systems. We describe how a legacy two-tier system for telephone switch management was reengineered as a three-tier w...
170
click to vote
CRYPTO
2000
Springer
15 years 10 months ago
2000
Springer
We put forward a new model for understanding the security of symmetric-key primitives, such as block ciphers. The model captures the fact that many such primitives often consist of...