Sciweavers

5182 search results - page 223 / 1037
» COTS-Based Requirements Engineering
Sort
View
ICST
2010
IEEE
15 years 5 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
SERA
2010
Springer
15 years 5 months ago
A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
Mohammed Nadhmi Miladi, Fatma Krichen, Mohamed Jma...
USAB
2010
15 years 5 months ago
"Same Same but Different" How Service Contexts of Mobile Technologies Shape Usage Motives and Barriers
As wireless technologies evolve, mobile technologies and services will increasingly affect our lives, accompanied by positive and negative effects. This development requires a high...
Katrin Arning, Sylvia Gaul, Martina Ziefle
VLSI
2010
Springer
15 years 5 months ago
Design and feasibility of multi-Gb/s quasi-serial vertical interconnects based on TSVs for 3D ICs
—This paper proposes a novel technique to exploit the high bandwidth offered by through silicon vias (TSVs). In the proposed approach, synchronous parallel 3D links are replaced ...
Fengda Sun, Alessandro Cevrero, Panagiotis Athanas...
VR
2010
IEEE
135views Virtual Reality» more  VR 2010»
15 years 5 months ago
Sound synthesis and evaluation of interactive footsteps for virtual reality applications
A system to synthesize in real-time the sound of footsteps on different materials is presented. The system is based on microphones which allow the user to interact with his own fo...
Rolf Nordahl, Stefania Serafin, Luca Turchet