Sciweavers

558 search results - page 24 / 112
» Safe and Effective Determinant Evaluation
Sort
View
IPPS
2003
IEEE
15 years 5 months ago
Dynamic Resource Discovery for Applications Survivability in Distributed Real-Time Systems
In this paper we propose a new resource discovery protocol, REALTOR, which is based on a combination of pullbased and push-based resource information dissemination. REALTOR has be...
Byung-Kyu Choi, Sangig Rho, Riccardo Bettati
SOCIALCOM
2010
14 years 9 months ago
The Design and Enforcement of a Rule-based Constraint Policy Language for Service Composition
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...
Wei Wei, Ting Yu
MSS
2008
IEEE
67views Hardware» more  MSS 2008»
14 years 11 months ago
Mass-mobilization with noisy conditional beliefs
We examine the role played by information in shaping popular expectations in the process of political mobilization, and the development of revolutionary movements in particular. T...
M. Koster, R. Lindelauf, I. Lindner, G. Owen
ICST
2010
IEEE
14 years 10 months ago
Precisely Detecting Runtime Change Interactions for Evolving Software
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
Raúl A. Santelices, Mary Jean Harrold, Ales...
HASKELL
2008
ACM
15 years 26 days ago
Lightweight monadic regions
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
Oleg Kiselyov, Chung-chieh Shan