Sciweavers

6274 search results - page 870 / 1255
» Proofs, Programs, Processes
Sort
View
133
Voted
ADBIS
2000
Springer
131views Database» more  ADBIS 2000»
15 years 8 months ago
Mobile Transaction Management in Mobisnap
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...
Nuno M. Preguiça, Carlos Baquero, Francisco...
137
Voted
ECOOP
1999
Springer
15 years 8 months ago
Internal Iteration Externalized
Although it is acknowledged that internal iterators are easier and safer to use than conventional external iterators, it is commonly assumed that they are not applicable in languag...
Thomas Kühne
130
Voted
TOOLS
1999
IEEE
15 years 8 months ago
A "Framework" for Object Oriented Frameworks Design
Object-oriented frameworks are an established tool for domain-specific reuse. Many framework design patterns and development processes have been documented, typically reverse engin...
David Parsons, Awais Rashid, Andreas Speck, Alexan...
120
Voted
TOOLS
1999
IEEE
15 years 8 months ago
Design and Evolution of Software Architecture in Practice
With special focus on software architectural issues, we report from the first two major phases of a software development project. Our experience suggests that explicit focus on so...
Michael Christensen, Christian Heide Damm, Klaus M...
130
Voted
WCRE
1999
IEEE
15 years 8 months ago
Recovering Code to Documentation Links in OO Systems
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
Giuliano Antoniol, Gerardo Canfora, Andrea De Luci...