Sciweavers

4095 search results - page 514 / 819
» How to test a tree
Sort
View
TOOLS
1997
IEEE
15 years 8 months ago
A Catalogue of General-Purpose Software Design Patterns
Software design patterns describe proven solutions to recurring software design problems. Knowledge of these patterns increases designers’ abilities, leads to cleaner and more e...
Walter F. Tichy
ALP
1994
Springer
15 years 8 months ago
Compositional Analysis for Equational Horn Programs
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
María Alpuente, Moreno Falaschi, Germ&aacut...
CISM
1993
149views GIS» more  CISM 1993»
15 years 8 months ago
The Weak Instance Model
The weak instance model is a framework to consider the relations in a database as a whole, regardless of the way attributes are grouped in the individual relations. Queries and upd...
Paolo Atzeni, Riccardo Torlone
140
Voted
CANDC
2007
ACM
15 years 8 months ago
The resourcefulness of everyday design
We discuss our study that looks at family members as everyday designers. We explain the design actions of family members to be creative, as evidenced by the resourceful appropriat...
Ron Wakkary, Leah Maestri
ADBIS
2004
Springer
92views Database» more  ADBIS 2004»
15 years 7 months ago
Optimal Database Locks for Efficient Integrity Checking
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
Davide Martinenghi