809 search results - page 120 / 162 » Requirements by Contracts allow Automated System Testing |
100
click to vote
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Network applications are becoming increasingly popular in the embedded systems domain requiring high performance, which leads to high energy consumption. In networks is observed t...
122
click to vote
MODELS
2010
Springer
14 years 9 months ago
2010
Springer
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
112
click to vote
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
107
click to vote
SUTC
2008
IEEE
15 years 6 months ago
2008
IEEE
— In this paper we discuss the design methodology based on the service-oriented architecture and agile development principles for wireless embedded and sensor networks (WSNs). Th...
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
The monitoring of virtual machines has many applications in areas such as security and systems management. A monitoring technique known as introspection has received significant ...