3825 search results - page 77 / 765 » The Language of Time: A Reader |
ESOP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
ENTCS
2010
14 years 10 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
102
click to vote
UML
2001
Springer
15 years 2 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
ARTS
1999
Springer
15 years 2 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...