4350 search results - page 521 / 870 » Case studies for contract-based systems |
252
click to vote
EDBT
2012
ACM
13 years 10 months ago
2012
ACM
In this paper we consider the problem of answering queries using views, with or without ontological constraints, which is important for data integration, query optimization, and d...
236
click to vote
ICCS
2003
Springer
16 years 25 days ago
2003
Springer
This paper describes a monitoring tool for grid computing[5], called visPerf. It is difficult to see the status of a working production grid system without a customized monitorin...
204
click to vote
ICPADS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a new priority scheduling algorithm to maximise site revenue of session-based multi-tier Internet services in a multicluster environment. This research is part...
205
click to vote
HYBRID
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
231
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
We introduce the notion of resiliency policies in the context of access control systems. Such policies require an access control system to be resilient to the absence of users. An...