4350 search results - page 554 / 870 » Case studies for contract-based systems |
151
click to vote
ATS
2005
IEEE
16 years 14 days ago
2005
IEEE
: This paper addresses the challenges imposed on current testing with the advent of Nanotechnologies. It shows why existing measurement solutions embedded in ATE systems are not ad...
162
Voted
CODES
2005
IEEE
16 years 14 days ago
2005
IEEE
Sensor network applications face continuously changing environments, which impose varying processing loads on the sensor node. This paper presents an online control method which a...
174
click to vote
CSMR
2005
IEEE
16 years 14 days ago
2005
IEEE
Software developers are constantly required to modify and adapt application features in response to changing requirements. The problem is that just by reading the source code, it ...
137
Voted
DATE
2005
IEEE
16 years 14 days ago
2005
IEEE
In this paper a general architecture suitable to interface several kinds of sensors for automotive applications is presented. A platform based design approach is pursued to improv...
201
Voted
ECBS
2005
IEEE
16 years 14 days ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...