7557 search results - page 301 / 1512 » Modeling Timed Concurrent Systems |
171
Voted
SEBD
2003
15 years 8 months ago
2003
Abstract. In this paper, we present the preliminary results of an ongoing research activity concerning the temporal management of normative texts in XML format. In particular, four...
190
click to vote
ACS
2007
15 years 6 months ago
2007
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology gro...
169
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
The automatic allocation of enterprise workload to resources can be enhanced by being able to make `whatif' response time predictions, whilst different allocations are being c...
175
click to vote
IJCAI
1993
15 years 8 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
208
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...