Sciweavers

4098 search results - page 625 / 820
» Sound mobility models
Sort
View
SAS
2004
Springer
15 years 10 months ago
Spatial Analysis of BioAmbients
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
Hanne Riis Nielson, Flemming Nielson, Henrik Pileg...
AINA
2009
IEEE
15 years 10 months ago
Location-Aware Authentication and Access Control
—The paper first discusses motivations why taking into account location information in authentication and access control is important. The paper then surveys current approaches t...
Elisa Bertino, Michael S. Kirkpatrick
ECAI
2000
Springer
15 years 9 months ago
Intention Reconsideration in Theory and Practice
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...
Simon Parsons, Ola Pettersson, Alessandro Saffiott...
SIGMOD
1996
ACM
176views Database» more  SIGMOD 1996»
15 years 9 months ago
The Dangers of Replication and a Solution
: Update anywhere-anytime-anyway transactional replication has unstable behavior as the workload scales up: a ten-fold increase in nodes and traffic gives a thousand fold increase ...
Jim Gray, Pat Helland, Patrick E. O'Neil, Dennis S...
FM
2006
Springer
124views Formal Methods» more  FM 2006»
15 years 8 months ago
Compositional Binding in Network Domains
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
Pamela Zave