2496 search results - page 119 / 500 » Error-detecting properties of languages |
103
Voted
ISCAS
2007
IEEE
15 years 7 months ago
2007
IEEE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
116
click to vote
ICFP
1997
ACM
15 years 5 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
111
Voted
ICALP
1992
Springer
15 years 4 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
94
Voted
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...