2523 search results - page 262 / 505 » Correct Development of Embedded Systems |
129
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
97
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Experience with generating simulation data of high energy physics experiments has shown that a job monitoring system (JMS) is essential to understand failures of jobs within the G...
127
click to vote
FTRTFT
2000
Springer
15 years 7 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
123
Voted
IPCV
2008
15 years 4 months ago
2008
- Automatic recognition of spoken digits is one of the difficult tasks in the field of computer speech recognition. Spoken digits recognition process is required in many applicatio...
128
Voted
RTDB
2001
15 years 4 months ago
2001
Research in the concurrency control of real-time data access over mobile networks is receiving growing attention. With possibly lengthy transmission delay and frequent disconnecti...