Sciweavers

2448 search results - page 246 / 490
» The Octahedron Abstract Domain
Sort
View
CEC
2005
IEEE
16 years 8 days ago
The emergence of cooperation among agents using simple fixed bias tagging
AbstractThe principle of cooperation influences our everyday lives. This conflict between individual and collective rationality can be modelled through the use of social dilemmas...
Enda Howley, Colm O'Riordan
CSFW
2005
IEEE
16 years 8 days ago
Achieving Information Flow Security through Precise Control of Effects
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
William L. Harrison, James Hook
DASFAA
2005
IEEE
153views Database» more  DASFAA 2005»
16 years 8 days ago
FASST Mining: Discovering Frequently Changing Semantic Structure from Versions of Unordered XML Documents
Abstract. In this paper, we present a FASST mining approach to extract the frequently changing semantic structures (FASSTs), which are a subset of semantic substructures that chang...
Qiankun Zhao, Sourav S. Bhowmick
IPPS
2005
IEEE
16 years 7 days ago
A Maintenance-Oriented Fault Model for the DECOS Integrated Diagnostic Architecture
Abstract— The increasing use of electronics in the automotive and avionic domain has lead to dramatic improvements with respect to functionality, safety, and cost. However, with ...
Philipp Peti, Roman Obermaisser, Astrit Ademaj, He...
ISCAS
2005
IEEE
115views Hardware» more  ISCAS 2005»
16 years 7 days ago
Power-aware slack distribution for hierarchical VLSI design
Abstract— Hierarchical design plays an important role in microprocessor and ASIC domains where design complexity limits design productivity and tool capacity. Slack distribution,...
Hyung-Ock Kim, Youngsoo Shin