Sciweavers

2897 search results - page 294 / 580
» Test Case Integration: From Components to Systems
Sort
View
PRESENCE
1998
79views more  PRESENCE 1998»
15 years 6 months ago
Navigation System for the Blind: Auditory Display Modes and Guidance
The research we are reporting here is part of our effort to develop a navigation system for the blind. Our long-term goal is to create a portable, self-contained system that will ...
Jack M. Loomis, Reginald G. Golledge, Roberta L. K...
184
Voted
DSN
2004
IEEE
15 years 10 months ago
Assured Reconfiguration of Embedded Real-Time Software
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
Elisabeth A. Strunk, John C. Knight
GROUP
1995
ACM
15 years 10 months ago
Understanding the requirements for information system documentation: an empirical investigation
Software and Information Systems (IS) documents are a common product of large IS development e orts. These documents are produced and consumed through a variety of documentation p...
Abdulaziz Jazzar, Walt Scacchi
ACMDIS
2008
ACM
15 years 8 months ago
CityFlocks: designing social navigation for urban mobile information systems
CityFlocks is a mobile system enabling visitors and new residents in a city to tap into the knowledge and experiences of local residents, so as to gather information about their n...
Mark Bilandzic, Marcus Foth, Alexander De Luca
HYBRID
1994
Springer
15 years 10 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli