10159 search results - page 660 / 2032 » System Design Validation Using Formal Models |
200
click to vote
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
202
click to vote
ER
2000
Springer
15 years 11 months ago
2000
Springer
Data Acquisition Systems (DAS) are the basis for building monitoring tools that enable the supervision of local and remote systems. DASs are complex systems. It is difficult for de...
205
click to vote
QOSA
2010
Springer
15 years 9 months ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...
168
click to vote
IJAOSE
2008
15 years 7 months ago
2008
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
199
click to vote
DATE
2003
IEEE
16 years 18 days ago
2003
IEEE
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...