7311 search results - page 155 / 1463 » Time in State Machines |
151
click to vote
ECBS
2004
IEEE
15 years 8 months ago
2004
IEEE
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...
137
click to vote
FASE
2000
Springer
15 years 8 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
136
click to vote
SE
2008
15 years 6 months ago
2008
We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to il...
170
click to vote
IMC
2010
ACM
15 years 2 months ago
2010
ACM
3G cellular data networks have recently witnessed explosive growth. In this work, we focus on UMTS, one of the most popular 3G mobile communication technologies. Our work is the f...
116
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— We consider the problem of scheduling packets over a number of channels with time varying connectivity. Policies proposed for this problem either stabilize the system when the ...