2357 search results - page 290 / 472 » Computing Refactorings of Behavior Models |
143
Voted
MWCN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract This paper investigates the performance of a multihop radio access network. In our testbed, nodes communicate to one access point using IEEE 802.11b and AODV routing. We m...
84
Voted
JCDL
2003
ACM
15 years 8 months ago
2003
ACM
Can digital libraries provide a reading experience that more closely resembles a real book than a scrolled or paginated electronic display? This paper describes a prototype page-t...
124
Voted
FIDJI
2003
Springer
15 years 8 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...
124
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
123
click to vote
ECRTS
2000
IEEE
15 years 7 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...