2703 search results - page 142 / 541 » Working Class Hero |
ATVA
2005
Springer
14 years 3 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
FSTTCS
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
ITS
2004
Springer
14 years 3 months ago
2004
Springer
We have implemented a novel peer-to-peer based environment called Comtella, which allows students to contribute and share class-related resources. This system has been implemented ...
WORDS
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper summarizes some of our unclassified work on concepts and techniques for performing automated runtime time-critical resource management (especially scheduling) in large ...
FASE
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...