7557 search results - page 383 / 1512 » Modeling Timed Concurrent Systems |
196
click to vote
ENTCS
2002
15 years 6 months ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
190
click to vote
CSCLP
2005
Springer
16 years 8 days ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
192
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
167
click to vote
TPPP
1994
15 years 10 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
164
click to vote
CASCON
2004
15 years 8 months ago
2004
We report on initial experiments in tree locking schemes for compiled database applications. Such applications have a repository style of architecture in which a collection of sof...