Sciweavers

473 search results - page 68 / 95
» The Case for Quantum Key Distribution
Sort
View
ADBIS
2005
Springer
163views Database» more  ADBIS 2005»
14 years 1 months ago
XML Databases and Beyond - Plenty of Architectural Challenges Ahead
A key observation is that the invariants in database management determine the mapping steps of the supporting architecture. Referring to the multi-layered architecture of record-or...
Theo Härder
CONCUR
2004
Springer
14 years 28 days ago
Probabilistic Event Structures and Domains
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
Daniele Varacca, Hagen Völzer, Glynn Winskel
ECCV
2004
Springer
14 years 28 days ago
A Multi-scale Geometric Flow for Segmenting Vasculature in MRI
Often in neurosurgical planning a dual echo acquisition is performed that yields proton density (PD) and T2-weighted images to evaluate edema near a tumour or lesion. The developme...
Maxime Descoteaux, D. Louis Collins, Kaleem Siddiq...
PACS
2004
Springer
306views Hardware» more  PACS 2004»
14 years 27 days ago
Power Consumption Breakdown on a Modern Laptop
The purpose of this work was to obtain a componentwise breakdown of the power consumption a modern laptop. We measured the power usage of the key components in an IBM ThinkPad R40...
Aqeel Mahesri, Vibhore Vardhan
UML
2004
Springer
14 years 26 days ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...