7557 search results - page 194 / 1512 » Modeling Timed Concurrent Systems |
167
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
164
click to vote
ATVA
2005
Springer
16 years 2 hour ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
156
click to vote
NIME
2005
Springer
15 years 12 months ago
2005
Springer
Discussion of time in interactive computer music systems engineering has been largely limited to data acquisition rates and latency. Since music is an inherently time-based medium...
175
click to vote
DATE
2006
IEEE
16 years 15 days ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
175
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
Optimistic replication of data is a widely used tool for mobile environments, but the behavior of concurrent conflicting updates caused by the relaxed consistency model is poorly ...