Sciweavers

4270 search results - page 272 / 854
» A Permutation Approach to Validation
Sort
View
ISN
1997
Springer
15 years 10 months ago
A TINA Based Prototype for a Multimedia Multiparty Mobility Service
: The TINA architecture is emerging as an integrated approach to service and network control and management. The ACTS VITAL project aims to extend and refine the TINA architecture ...
Javier Huélamo, Hans Vanderstraeten, Juan C...
GPC
2009
Springer
15 years 10 months ago
Web Services for Deeply Embedded Extra Low-Cost Devices
Abstract. This paper describes a new approach to implement Web Services in embedded devices connected to Wireless Sensor Networks. The sensor/actuator node is able to process stand...
David Villa, Felix Jesús Villanueva, Franci...
ICIW
2007
IEEE
15 years 10 months ago
Type-Based Static and Dynamic Website Verification
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
Jorge Coelho, Mário Florido
CAISE
2006
Springer
15 years 10 months ago
Detecting Changes in Ontologies via DAG Comparison
Abstract. Ontologies are shared conceptualizations of a certain domain. As such domains may change, also changes in the ontologies have to be considered, as otherwise there is no w...
Johann Eder, Karl Wiggisser
ECCV
2006
Springer
15 years 10 months ago
Force/Vision Based Active Damping Control of Contact Transition in Dynamic Environments
When a manipulator interacts with objects with poorly damped oscillatory modes, undesired oscillations and bouncing may result. In this paper, we present a method for observer-base...
Tomas Olsson, Rolf Johansson, Anders Robertsson