1833 search results - page 217 / 367 » Mechanized Verification with Sharing |
143
click to vote
GISCIENCE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Across the globe individuals and organizations are creating geographic data work products with little ability to efficiently or effectively make known and share those dig...
154
click to vote
WAC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents some important directions in the use of ontologybased semantics in achieving the vision of Autonomic Communications. We examine the requirements of Au...
148
click to vote
ICPPW
2003
IEEE
15 years 11 months ago
2003
IEEE
The current generation of ad hoc networks relies on other nodes in the network for routing information and for routing the packets. These networks are based on the fundamental ass...
158
click to vote
ISCC
2003
IEEE
15 years 11 months ago
2003
IEEE
Interactivity in transport protocol can greatly benefit transport friendly applications. We envision if a transport mechanism, which is interactive and can provide event notificat...
135
click to vote
ADAEUROPE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Although Ada defines a number of mechanisms for specifying scheduling policies, only one, Fifo Within Priorities is guaranteed to be supported by all implementations of ...