29386 search results - page 79 / 5878 » On modeling of self-organizing systems |
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper gives an overview of a transaction level modeling (TLM) design flow for straightforward embedded system design with SystemC. The goal is to systematically develop both...
118
click to vote
ISAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
JNW
2006
14 years 10 months ago
2006
The design of large dependable multiprocessor systems requires quick and precise mechanisms for detecting the faulty nodes. The problem of system-level fault diagnosis is computati...
ETFA
2008
IEEE
15 years 4 months ago
2008
IEEE
Industrial and building automation systems are more and more important in industry and buildings. New services and novel fields of application call for dependable systems. Two ver...