2700 search results - page 450 / 540 » The role of abstraction in software engineering |
143
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
156
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
146
click to vote
ICSR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Designing systems of asynchronous web services is challenging. Addressing the design in terms of component reuse helps address important questions that need to be answere...
160
click to vote
UIST
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
175
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...