Sciweavers

2968 search results - page 466 / 594
» Network Programming Using PLAN
Sort
View
ICCS
2003
Springer
15 years 10 months ago
JDOS: A Jini Based Distributed Operating System
J-DOS provides and integrated JAVA environment for the execution of a program across an interconnected network of heterogeneous computers. The system provides a file system, shar...
M. Saywell, J. S. Reeve
UM
2010
Springer
15 years 9 months ago
Twitter, Sensors and UI: Robust Context Modeling for Interruption Management
In this paper, we present the results of a two-month field study of fifteen people using a software tool designed to model changes in a user’s availability. The software uses s...
Justin Tang, Donald J. Patterson
WECWIS
2000
IEEE
94views ECommerce» more  WECWIS 2000»
15 years 9 months ago
E-Representative: A Scalability Scheme for E-Commerce
In order to meet the quality of service demanded by a growing number of online customers, e-commerce services need to use scalability techniques. This paper introduces the concept...
Wagner Meira Jr., Daniel A. Menascé, Virgil...
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 9 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
CP
2008
Springer
15 years 6 months ago
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
We propose new filtering algorithms for the SEQUENCE constraint and some extensions of the SEQUENCE constraint based on network flows. We enforce domain consistency on the SEQUENCE...
Michael J. Maher, Nina Narodytska, Claude-Guy Quim...