232 search results - page 6 / 47 » From Requirements Documents to System Models: A Tool for Int... |
RE
2010
Springer
13 years 3 months ago
2010
Springer
The design of the variability of a software product line is crucial to its success and evolution. Meaningful variable features need to be elicited, analyzed, documented and validat...
DOCENG
2003
ACM
14 years 2 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
APCHI
2004
IEEE
14 years 22 days ago
2004
IEEE
This paper describes a teleconferencing application that uses real objects to interact with virtual on-screen content. A variety of tangible interaction techniques can be used to l...
FAC
2008
13 years 9 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Because of the increasing number of electronic data, designing efficient tools to retrieve and exploit documents is a major challenge. Current search engines suffer from two main d...