Sciweavers

1406 search results - page 127 / 282
» Information Flow in Systems with Schedulers
Sort
View
DATE
2006
IEEE
145views Hardware» more  DATE 2006»
15 years 4 months ago
Improved offset-analysis using multiple timing-references
In this paper, we present an extension to existing approaches that capture and exploit timing-correlation between tasks for scheduling analysis in distributed systems. Previous ap...
Rafik Henia, Rolf Ernst
POPL
2006
ACM
15 years 10 months ago
On flow-sensitive security types
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
Sebastian Hunt, David Sands
NOMS
2002
IEEE
130views Communications» more  NOMS 2002»
15 years 2 months ago
Design of a network level management information model for automatically switched transport networks
The concept of Automatically Switched Transport Networks (ASTN) combines elements of distributed connection management from the IP world with classical transport network functiona...
Georg Lehr, Ulrike Hartmer, Ralf Geerdsen
AAAI
2010
14 years 11 months ago
Prioritization of Domain-Specific Web Information Extraction
It is often desirable to extract structured information from raw web pages for better information browsing, query answering, and pattern mining. Many such Information Extraction (...
Jian Huang, Cong Yu
CHI
2002
ACM
15 years 10 months ago
A tangible interface for organizing information using a grid
The task of organizing information is typically performed either by physically manipulating note cards or sticky notes or by arranging icons on a computer with a graphical user in...
Robert J. K. Jacob, Hiroshi Ishii, Gian Pangaro, J...