Sciweavers

84 search results - page 13 / 17
» 04511 Abstracts Collection - Architecting Systems with Trust...
Sort
View
FM
2008
Springer
130views Formal Methods» more  FM 2008»
13 years 9 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
ICCAD
2000
IEEE
109views Hardware» more  ICCAD 2000»
13 years 12 months ago
Latency-Guided On-Chip Bus Network Design
Abstract— Deep submicron technology scaling has two major ramifications on the design process. First, reduced feature size significantly increases wire delay, thus resulting in...
Milenko Drinic, Darko Kirovski, Seapahn Meguerdich...
MICCAI
2007
Springer
14 years 8 months ago
Sources of Variability in MEG
Abstract. This paper investigates and characterizes sources of variability in MEG signals in multi-site, multi-subject studies. Understanding these sources will help to develop eff...
Matti Hämäläinen, Polina Golland, W...
ITNG
2010
IEEE
13 years 11 months ago
QARI: Quality Aware Software Deployment for Wireless Sensor Networks
Abstract--If we are to deploy sensor applications in a realistic business context, we must provide innovative middleware services to control and enforce required system behavior; i...
Wouter Horré, Sam Michiels, Wouter Joosen, ...
FQAS
2006
Springer
76views Database» more  FQAS 2006»
13 years 11 months ago
Why Using Structural Hints in XML Retrieval?
Abstract. When querying XML collections, users cannot always express their need in a precise way. Systems should therefore support vagueness at both the content and structural leve...
Karen Sauvagnat, Mohand Boughanem, Claude Chrismen...