Sciweavers

11455 search results - page 2178 / 2291
» The Rayset and Its Applications
Sort
View
CAISE
2006
Springer
15 years 10 months ago
Loosely-Coupled Process Automation in Medical Environments
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
Jurate Vysniauskaite
CC
2006
Springer
124views System Software» more  CC 2006»
15 years 10 months ago
Polyhedral Code Generation in the Real World
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
Nicolas Vasilache, Cédric Bastoul, Albert C...
CCS
2006
ACM
15 years 10 months ago
Secure information sharing enabled by Trusted Computing and PEI models
The central goal of secure information sharing is to "share but protect" where the motivation to "protect" is to safeguard the sensitive content from unauthori...
Ravi S. Sandhu, Kumar Ranganathan, Xinwen Zhang
FOIKS
2006
Springer
15 years 10 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
ARVLSI
2001
IEEE
267views VLSI» more  ARVLSI 2001»
15 years 10 months ago
Focal-Plane Image and Beam Quality Sensors for Adaptive Optics
Control of adaptive optical elements for real-time wavefront phase distortion compensation is a rapidly growing field of research and technology development. Wavefront correction ...
Marc Cohen, Gert Cauwenberghs, Mikhail Vorontsov, ...
« Prev « First page 2178 / 2291 Last » Next »