1784 search results - page 187 / 357 » Formal Models for Embedded System Design |
131
click to vote
AUTONOMICS
2008
ACM
15 years 5 months ago
2008
ACM
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
146
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
125
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
158
click to vote
IJCAI
2007
15 years 4 months ago
2007
To test large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of two steps; 1) participatory simulation, where scenario-...
124
click to vote
FOIKS
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...