15779 search results - page 2501 / 3156 » Change-oriented software engineering |
141
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability priced timed game automata and prove ...
143
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
145
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
145
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recentl...
165
click to vote
ICESS
2004
Springer
15 years 10 months ago
2004
Springer
Real-time transaction processing becomes concerns as embedded time coming rapidly. However, the transaction process in real-time embedded system still has some problems in resource...