313 search results - page 8 / 63 » Crisis Management Systems: A Case Study for Aspect-Oriented ... |
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
130
click to vote
CIDR
2011
14 years 3 months ago
2011
This paper argues that next generation database management systems should incorporate a predictive model management component to effectively support both inward-facing application...
119
click to vote
ICWS
2010
IEEE
15 years 1 months ago
2010
IEEE
The ever-growing choice in diverse services is making service orchestration variability an essential aspect of a composite web service. Influence of this variation on the Quality o...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
EnCompass®1 , a web-enabled system for organizational process visualization, analysis, synthesis, and management, provides an interactive vehicle for understanding the influence ...
AOSD
2009
ACM
15 years 6 months ago
2009
ACM
Desktop client applications interact with both local and remote resources. This is both a benefit in terms of the rich features desktop clients can provide, but also a security r...