3565 search results - page 585 / 713 » Modeling a system controller for timing analysis |
151
click to vote
ESEC
1995
Springer
15 years 7 months ago
1995
Springer
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
130
click to vote
TAP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
110
click to vote
MOBIHOC
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
139
click to vote
TR
2010
14 years 10 months ago
2010
Abstract--In the past ten years, the software aging phenomenon has been systematically researched, and recognized by both academic, and industry communities as an important obstacl...
146
click to vote
WSC
1994
15 years 5 months ago
1994
Stroboscope is a programming language designed for the simulation of processes common to construction engineering. These processes are very complex and involve many different type...