Sciweavers

7576 search results - page 1039 / 1516
» UNIX as an Application Program
Sort
View
IFIP
2009
Springer
16 years 1 months ago
A Flexible Framework for Complete Session Mobility and Its Implementation
Users with several devices need a convenient mechanism to transfer running service sessions from one device to another device. This paper proposes a framework that allows session m...
Marc Barisch, Jochen Kögel, Sebastian Meier
IFM
2009
Springer
16 years 1 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
INTETAIN
2009
Springer
16 years 1 months ago
Robosonic: Randomness-Based Manipulation of Sounds Assisted by Robots
In this text, we intend to explore the possibilities of sound manipulation in a context of augmented reality (AR) through the use of robots. We use the random behaviour of robots i...
Filipe Costa Luz, Rui Pereira Jorge, Vasco Bila
IWANN
2009
Springer
16 years 1 months ago
Introducing a Distributed Architecture for Heterogeneous Wireless Sensor Networks
This paper presents SYLPH, a novel distributed architecture which integrates a service-oriented approach into Wireless Sensor Networks. One of the characteristics of SYLPH is that ...
Dante I. Tapia, Ricardo S. Alonso, Juan Francisco ...
LPNMR
2009
Springer
16 years 1 months ago
Belief Revision with Bounded Treewidth
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
Reinhard Pichler, Stefan Rümmele, Stefan Wolt...
« Prev « First page 1039 / 1516 Last » Next »