5180 search results - page 93 / 1036 » Concurrency, Time, and Constraints |
145
click to vote
IJCAI
1997
15 years 7 months ago
1997
This paper studies constraint satisfaction over connected row-convex (CRC) constraints. It shows that CRC constraints are closed under composition, intersection, and transposition...
164
click to vote
IFM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
229
click to vote
FORTEST
2008
15 years 8 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
131
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
Web services offer a number of valuable features towards supporting the development of open distributed systems, built out of the composition of autonomous services. Nonetheless, ...
162
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Testing concurrent software is difficult due to problems with inherent non-determinism. In previous work, we have presented a method and tool support for the testing of concurrent...