1419 search results - page 114 / 284 » Notes on Formalizing Context |
84
Voted
NOMS
2008
IEEE
15 years 7 months ago
2008
IEEE
—A policy can be defined as any type of formal behavioural guide that is input to the system. Examples of policies that can be found in data center management systems include SLA...
95
Voted
HPCS
2007
IEEE
15 years 7 months ago
2007
IEEE
In the context of computational grids, a metascheduler is the service responsible for scheduling jobs across many geographically distributed processor clusters. Typically, these s...
107
Voted
FMICS
2007
Springer
15 years 7 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
100
Voted
ISOLA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...