6474 search results - page 487 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
168
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...
211
Voted
PADL
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
192
click to vote
GI
2004
Springer
16 years 13 days ago
2004
Springer
: We envision future office buildings that partly or fully implement a flexible office organization, i.e. office space is assigned dynamically on request. These organizational ...
180
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
213
click to vote
JURIX
2008
15 years 8 months ago
2008
We are concerned with the automatic semantic interpretation of legal modificatory provisions. We propose a novel approach which pairs deep syntactic parsing and a fine-grained taxo...