1202 search results - page 131 / 241 » Sortings for Reactive Systems |
158
Voted
CLUSTER
2006
IEEE
15 years 10 months ago
2006
IEEE
Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with proprietary management interfaces. Moreover, th...
122
click to vote
WOWMOM
2006
ACM
15 years 10 months ago
2006
ACM
This paper studies a Bad Apple phenomenon caused by Head-of-Line blocking in IEEE 802.11 networks. This problem can adversely affect the performance of wireless multimedia streami...
162
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
152
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
135
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...