1206 search results - page 77 / 242 » Concurrent Abstract Predicates |
124
Voted
FMCO
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
146
Voted
ISPE
2003
15 years 2 months ago
2003
ABSTRACT: Knowledge systems for scientific and engineering endeavors must be able to insure the accuracy, completeness, and validity of their contents. When designed as such, these...
101
Voted
CORR
2007
Springer
15 years 17 days ago
2007
Springer
Screen readers can drive braille devices for allowing visually impaired users to access computer environments, by providing them the same information as sighted users. But in some...
WRLA
2010
14 years 11 months ago
2010
Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...
70
Voted
ACII
2007
Springer
15 years 6 months ago
2007
Springer
in the form of light clusters (displayed in arrays of LEDs) and abstract electroacoustic sound — what we term low-fidelity embodiments. Thus, the architecture for such agents is...