Sciweavers

3091 search results - page 189 / 619
» The Microsoft Relational Engine
Sort
View
AC
1999
Springer
15 years 10 months ago
Consensus in Asynchronous Distributed Systems: A Concise Guided Tour
Abstract. It is now recognized that the Consensus problem is a fundamental problem when one has to design and implement reliable asynchronous distributed systems. This chapter is o...
Rachid Guerraoui, Michel Hurfin, Achour Most&eacut...
SOFSEM
1999
Springer
15 years 10 months ago
Software Change and Evolution
Changeability (also called evolvability) is an essential property of software. Software change is the foundation for both new software development and legacy software maintenance, ...
Vaclav Rajlich
AADEBUG
1993
Springer
15 years 10 months ago
Animators for Generated Programming Environments
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....
Frank Tip
PEPM
1993
ACM
15 years 10 months ago
The Correctness of an Optimized Code Generation
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
Torben Poort Lange
COMPSAC
2009
IEEE
15 years 10 months ago
Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
Aida Causevic, Aneta Vulgarakis