Sciweavers

2523 search results - page 227 / 505
» Correct Development of Embedded Systems
Sort
View
HYBRID
2007
Springer
15 years 9 months ago
Robust Test Generation and Coverage for Hybrid Systems
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
A. Agung Julius, Georgios E. Fainekos, Madhukar An...
NAACL
1994
15 years 4 months ago
Recent Improvements in the CMU Spoken Language Understanding System
We have been developing a spoken language system to recognize and understand spontaneous speech. It is difficult for such systems to achieve good coverage of the lexicon and gramm...
Wayne Ward, Sunil Issar
ECSCW
1993
15 years 4 months ago
The Designers' Notepad: Supporting and Understanding Cooperative Design
: We describe the development of a system to support cooperative software design. An iterative development approach has been used, based upon the observation of system use in authe...
Michael Twidale, Tom Rodden, Ian Sommerville
129
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
Randomized Multi-Channel Interrogation Algorithm for Large-Scale RFID Systems
— A radio frequency identification (RFID) system consists of a set of readers and several objects, equipped with small computer chips, called tags. In a dense RFID system, where...
Amir Hamed Mohsenian Rad, Vahid Shah-Mansouri, Vin...
ICRA
2007
IEEE
163views Robotics» more  ICRA 2007»
15 years 9 months ago
Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
Oscar Ljungkrantz, Knut Akesson, Johan Richardsson...