4285 search results - page 601 / 857 » Differential Behavioral Analysis |
182
click to vote
FIDJI
2003
Springer
15 years 12 months ago
2003
Springer
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
168
click to vote
GPCE
2003
Springer
15 years 12 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
196
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Switched circuits in power electronics by their nature present hybrid behavior. Such circuits can be described by a set of discrete states with associated continuous dynamics. A co...
201
click to vote
IWCMC
2010
ACM
15 years 11 months ago
2010
ACM
—Analysis and modeling of wireless networks greatly depend on understanding the structure of underlying mobile nodes. In this paper we present two clustering algorithms to determ...
156
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
: It has always been assumed that fault models in memories are sufficiently precise for specifying the faulty behavior. This means that, given a fault model, it should be possible...