2703 search results - page 142 / 541 » Working Class Hero |
173
click to vote
ATVA
2005
Springer
15 years 12 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...
142
click to vote
FSTTCS
2004
Springer
15 years 11 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...
149
click to vote
ITS
2004
Springer
15 years 11 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 ...
143
click to vote
WORDS
2003
IEEE
15 years 11 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 ...
171
click to vote
FASE
2003
Springer
15 years 11 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...