2954 search results - page 218 / 591 » Beyond |
205
click to vote
IC
2004
15 years 8 months ago
2004
In the next generation Internet, the network should not only be considered as a communication medium but also as a large source of services which use entails performance, reliabil...
187
Voted
DAGSTUHL
2001
15 years 8 months ago
2001
Ubiquitous computing is a compelling vision for the future that is moving closer to realization at an accelerating pace. The combination of global wireless and wired connectivity a...
170
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
174
click to vote
DC
2001
15 years 8 months ago
2001
This paper presents a streamlined metadata record format designed to support the permanence of network discoverable objects. It starts with the Dublin Core consensus and distills ...
178
click to vote
KRMED
2004
15 years 8 months ago
2004
To fix the semantics of different kinds of parthood relations we require axioms which go beyond those characterizing partial orderings. I formulate such axioms and show their impl...