3571 search results - page 135 / 715 » Cohen and Set Theory |
185
click to vote
ENTCS
2011
15 years 1 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
261
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...
188
click to vote
NORDSEC
2009
Springer
16 years 1 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
189
click to vote
CNSR
2007
IEEE
16 years 25 days ago
2007
IEEE
The theory of natural movement is fundamental to space syntax: a set of theories and methods developed in the late 1970s that seeks, at a general level, to reveal the mutual effec...
172
click to vote
PCI
2001
Springer
15 years 11 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...