7811 search results - page 504 / 1563 » computer 2004 |
185
click to vote
ADHOCNOW
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This paper gives a simple continuum model for generic proactive routing protocols in a mobile ad-hoc network. Rate constants characterize the routing protocol and the net...
187
click to vote
POLICY
2004
Springer
16 years 6 days ago
2004
Springer
This work proposes a XML-based framework for distributing and enforcing RSVP access control policies, for RSVP-aware application servers. Policies are represented by extending XAC...
158
click to vote
ANTS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This paper presents an investigative account of arbitrary cubic function fields. We present an elementary classification of the signature of a cubic extension of a rati...
190
click to vote
CONCUR
2004
Springer
16 years 8 days ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
187
click to vote
GD
2004
Springer
16 years 8 days ago
2004
Springer
Large graphs are difficult to browse and to visually explore. This note adds up evidence that some graph drawing techniques, which produce readable layouts when applied to medium-s...