Sciweavers

4650 search results - page 229 / 930
» Conceptual Integration Networks
Sort
View
HICSS
2009
IEEE
151views Biometrics» more  HICSS 2009»
16 years 1 months ago
Integrating Formal Analysis and Design to Preserve Security Properties
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, M...
IROS
2007
IEEE
116views Robotics» more  IROS 2007»
16 years 24 days ago
Seamless integration of robots and tiny embedded devices in a PEIS-Ecology
—The fields of autonomous robotics and ambient intelligence are converging toward the vision of smart robotic environments, in which tasks are performed via the cooperation of m...
Mirko Bordignon, Md. Jayedur Rashid, Mathias Broxv...
AVSS
2005
IEEE
16 years 4 days ago
Integrating multi-camera tracking into a dynamic task allocation system for smart cameras
This paper reports on the integration of multi-camera tracking into an agent-based framework, which features autonomous task allocation for smart cameras targeting traffic survei...
Michael Bramberger, Markus Quaritsch, Thomas Winkl...
ICDCSW
2005
IEEE
16 years 3 days ago
Integrating Databases with Publish/Subscribe
Publish/subscribe is emerging as an appropriate communication paradigm for large-scale, widely-distributed systems. In this paper, we describe our work on integrating active datab...
Luis Vargas, Jean Bacon, Ken Moody
WISE
2005
Springer
16 years 2 days ago
Identifying Value Mappings for Data Integration: An Unsupervised Approach
The Web is a distributed network of information sources where the individual sources are autonomously created and maintained. Consequently, syntactic and semantic heterogeneity of ...
Jaewoo Kang, Dongwon Lee, Prasenjit Mitra