Sciweavers

1546 search results - page 207 / 310
» Context-Aware Computing with Sound
Sort
View
IJSS
2007
77views more  IJSS 2007»
15 years 5 months ago
Network-centric healthcare operations: data warehousing and the associated telecommunications platforms
: With the rapidly escalating costs, the EU and the US make the adoption and application of Information, Computer and Communication Technologies (ICCT) in healthcare (e-health) an ...
Dag Von Lubitz, Frédéric Patricelli
107
Voted
TGIS
2008
69views more  TGIS 2008»
15 years 5 months ago
Spatial-Scene Similarity Queries
Assessing spatial scenes for similarity is difficult from a cognitive and computational perspective. Solutions to spatial-scene similarity assessments are sensible only if corresp...
Konstantinos A. Nedas, Max J. Egenhofer
JLP
2007
86views more  JLP 2007»
15 years 5 months ago
Typing noninterference for reactive programs
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
Ana Almeida Matos, Gérard Boudol, Ilaria Ca...
JOC
2007
129views more  JOC 2007»
15 years 5 months ago
Formal Proofs for the Security of Signcryption
Signcryption is a public key or asymmetric cryptographic method that provides simultaneously both message confidentiality and unforgeability at a lower computational and communica...
Joonsang Baek, Ron Steinfeld, Yuliang Zheng
147
Voted
COLING
2002
15 years 5 months ago
Text Authoring, Knowledge Acquisition and Description Logics
We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describingclosed-world authoring situations...
Marc Dymetman