1163 search results - page 168 / 233 » Case Studies of Model Checking for Embedded System Designs |
154
click to vote
AEI
2004
15 years 4 months ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...
163
click to vote
SPLC
2004
15 years 5 months ago
2004
The problem of managing the evolution of complex and large software systems is well known. Evolution implies reuse and modification of existing software artifacts, and this means t...
159
click to vote
IRI
2009
IEEE
15 years 11 months ago
2009
IEEE
Scientific digital libraries serve complex and evolving research communities. Justifications for the development of scientific digital libraries include the desire to preserve sci...
128
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we introduce a discrete-time model for the complete power supply sub-system that closely approximates the behavior of its circuit-level (i.e., HSpice), continuous-t...
175
click to vote
DSRT
2003
IEEE
15 years 9 months ago
2003
IEEE
“Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment impli...