2700 search results - page 442 / 540 » The role of abstraction in software engineering |
136
click to vote
FOSSACS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
147
click to vote
FSEN
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
153
click to vote
FSEN
2007
Springer
16 years 14 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
150
click to vote
FSEN
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
154
click to vote
FSTTCS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...