Sciweavers

2813 search results - page 52 / 563
» Formalizing Architectural Connection
Sort
View
AIME
2003
Springer
15 years 7 months ago
Linking Clinical Guidelines with Formal Representations
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
Peter Votruba, Silvia Miksch, Robert Kosara
ICTAI
1996
IEEE
15 years 6 months ago
Order in Space: A General Formalism for Spatial Reasoning
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
Baher A. El-Geresy, Alia I. Abdelmoty
COLT
2010
Springer
15 years 1 hour ago
Inferring Descriptive Generalisations of Formal Languages
In the present paper, we introduce a variant of Gold-style learners that is not required to infer precise descriptions of the languages in a class, but that must find descriptive ...
Dominik D. Freydenberger, Daniel Reidenbach
CSREAPSC
2006
15 years 3 months ago
A Context-aware Handoff Management for Seamless Connectivity in Ubiquitous Computing Environment
- Despite the importance of seamless connectivity in ubiquitous computing, research for seamless connectivity is not considered properly. To provide seamless connectivity, this pap...
Tae-Hoon Kang, Chung-Pyo Hong, Yong-Seok Kim, Shin...
IWCMC
2006
ACM
15 years 8 months ago
Energy efficient distributed connected dominating sets construction in wireless sensor networks
One important characteristic of wireless sensor networks is energy stringency. Constructing a connected dominating set (CDS) has been widely used as a topology control strategy to...
Yuanyuan Zeng, Xiaohua Jia, Yanxiang He