Sciweavers

13397 search results - page 58 / 2680
» From Static Distributed Systems to Dynamic Systems
Sort
View
POPL
2000
ACM
14 years 1 months ago
A Type System for Dynamic Web Documents
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
Anders Sandholm, Michael I. Schwartzbach
GIS
2008
ACM
14 years 10 months ago
Dynamic travel time provision for road networks
The application domain of intelligent transportation is plagued by a shortage of data sources that adequately assess traffic situations. Typically, to provide routing and navigati...
Dieter Pfoser, Sotiris Brakatsoulas, Petra Brosch,...
ENTCS
2008
82views more  ENTCS 2008»
13 years 8 months ago
A Static Analysis for Beta-Binders
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
Chiara Bodei
HICSS
2005
IEEE
173views Biometrics» more  HICSS 2005»
14 years 2 months ago
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
William N. Robinson
DAIS
2007
13 years 10 months ago
Parallel State Transfer in Object Replication Systems
Abstract. Replication systems require a state-transfer mechanism in order to recover crashed replicas and to integrate new ones into replication groups. This paper presents and eva...
Rüdiger Kapitza, Thomas Zeman, Franz J. Hauck...