7839 search results - page 269 / 1568 » What's there and what's not |
TMRA
2005
Springer
15 years 7 months ago
2005
Springer
We outline the main elements of what we call polyscopic structuring of information and argue that information needs to be structured accordingly. The principles of polyscopy may bo...
115
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
Today’s software does not come with meaningful guarantees. This position paper explores why this is the case, suggests societal and technical impediments to more dependable softw...
KR
2004
Springer
15 years 7 months ago
2004
Springer
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness pr...
117
click to vote
SWAT
2004
Springer
15 years 7 months ago
2004
Springer
It is well known that the Earliest-Deadline-First (EDF) and the Least-Laxity-First (LLF) algorithms are optimal algorithms for the problem of preemptively scheduling jobs that arr...