2523 search results - page 320 / 505 » Correct Development of Embedded Systems |
127
click to vote
FEDCSIS
2011
14 years 2 months ago
2011
—Collaborative mechanisms between services are a crucial aspect in the recent development of pervasive computing systems based on the paradigm of service-oriented architecture. C...
120
click to vote
ACIVS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Purpose: To develop a system for assisting the analysis of capsuleendoscopy (CE) video data and identifying sequences of frames related to small intestine motility. Mater...
200
Voted
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
143
click to vote
SIES
2010
IEEE
15 years 8 days ago
2010
IEEE
The aim of this paper is to introduce LinCAN, a CAN driver system for Linux, developed at the Department of Control Engineering of the Czech Technical University in Prague, and to ...
149
Voted
RE
2008
Springer
15 years 1 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...