2700 search results - page 223 / 540 » The role of abstraction in software engineering |
141
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
126
click to vote
ADAEUROPE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper we present a proposal to integrate the POSIX.1 executiontime clocks and execution-time timers into the Ada 95 language. This proposal defines a new package...
162
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
149
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
240
click to vote
GCSE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Class hierarchies, though theoretically reusable, have generally not seen much practical reuse in applications, due in part to the inflexibility of the inheritance relat...