Sciweavers

2065 search results - page 149 / 413
» Using Architectural Models at Runtime: Research Challenges
Sort
View
VSTTE
2005
Springer
15 years 10 months ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
128
Voted
CGO
2010
IEEE
15 years 9 months ago
Umbra: efficient and scalable memory shadowing
Shadow value tools use metadata to track properties of application data at the granularity of individual machine instructions. These tools provide effective means of monitoring an...
Qin Zhao, Derek Bruening, Saman P. Amarasinghe
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
15 years 10 months ago
Towards a Flexible ICT-Architecture for Multi-Channel E-Government Service Provisioning
The planning and subsequent nationwide implementation of E-government service provisioning faces a number of challenges at the level of municipalities in the Netherlands. Initiati...
Marijn Janssen, René W. Wagenaar, Jaap Beer...
DEXAW
2004
IEEE
124views Database» more  DEXAW 2004»
15 years 8 months ago
PAC-MEN: Personal Autonomic Computing Monitoring Environment
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
Roy Sterritt, David F. Bantz
APCSAC
2000
IEEE
15 years 8 months ago
Dataflow Java: Implicitly Parallel Java
Dataflow computation models enable simpler and more efficient management of the memory hierarchy - a key barrier to the performance of many parallel programs. This paper describes...
Gareth Lee, John Morris