4872 search results - page 211 / 975 » CBR for Modeling Complex Systems |
145
click to vote
ACSD
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
163
click to vote
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
139
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
141
click to vote
ICECCS
2000
IEEE
15 years 9 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
130
click to vote
ENTCS
2006
15 years 5 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...