4285 search results - page 601 / 857 » Differential Behavioral Analysis |
216
click to vote
FIDJI
2003
Springer
16 years 14 days 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...
187
click to vote
GPCE
2003
Springer
16 years 14 days 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...
221
click to vote
HYBRID
2003
Springer
16 years 14 days 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...
220
click to vote
IWCMC
2010
ACM
16 years 10 days 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...
170
click to vote
DATE
2002
IEEE
16 years 6 days 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...