Sciweavers

1835 search results - page 89 / 367
» A Generic Framework for the Modeling of Contexts and its App...
Sort
View
ECMDAFA
2010
Springer
141views Hardware» more  ECMDAFA 2010»
14 years 25 days ago
Comparing Approaches to Implement Feature Model Composition
Abstract. The use of Feature Models (FMs) to define the valid combinations of features in Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs, ...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
ICPPW
2009
IEEE
13 years 6 months ago
A Security-Aware Approach to JXTA-Overlay Primitives
The JXTA-Overlay project is an effort to use JXTA technology to provide a generic set of functionalities that can be used by developers to deploy P2P applications. Since its desig...
Joan Arnedo-Moreno, Keita Matsuo, Leonard Barolli,...
ISMAR
2006
IEEE
14 years 2 months ago
Transitional interface: concept, issues and framework
Transitional Interfaces have emerged as a new way to interact and collaborate between different interaction spaces such as Reality, Virtual Reality and Augmented Reality. In this ...
Raphael Grasset, Julian Looser, Mark Billinghurst
EDBT
2009
ACM
149views Database» more  EDBT 2009»
13 years 6 months ago
Towards integrated and efficient scientific sensor data processing: a database approach
In this work, we focus on managing scientific environmental data, which are measurement readings collected from wireless sensors. In environmental science applications, raw sensor...
Ji Wu, Yongluan Zhou, Karl Aberer, Kian-Lee Tan
TVLSI
2008
124views more  TVLSI 2008»
13 years 8 months ago
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Panagiotis Manolios, Sudarshan K. Srinivasan