3081 search results - page 416 / 617 » A Formal Ontology of Properties |
211
click to vote
EMSOFT
2007
Springer
16 years 23 days ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
144
click to vote
FCT
2007
Springer
16 years 23 days ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
152
click to vote
FMCO
2007
Springer
16 years 23 days ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
156
click to vote
SAS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
178
click to vote
ACSD
2006
IEEE
16 years 20 days ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...