383 search results - page 13 / 77 » Testing Concurrent Systems: A Formal Approach |
KBSE
2008
IEEE
15 years 3 months ago
2008
IEEE
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
73
Voted
PERCOM
2010
ACM
14 years 7 months ago
2010
ACM
Abstract—This paper looks at the scalability problems inherent in the Active Bat system: an outside-in ultrasonic location system. Such systems are typically associated with high...
SAFECOMP
1999
Springer
15 years 1 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...