2152 search results - page 350 / 431 » On Automating the Calculus of Relations |
142
click to vote
SAFECOMP
2009
Springer
16 years 22 days ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
156
click to vote
SLE
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. API migration refers to adapting an application such that its dependence on a given API (the source API) is eliminated in favor of depending on an alternative API (the ta...
166
click to vote
TIME
2008
IEEE
16 years 17 days ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
180
click to vote
TPHOL
2008
IEEE
16 years 17 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
142
click to vote
TPHOL
2008
IEEE
16 years 17 days ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...