Sciweavers

2550 search results - page 348 / 510
» The Meaning of Open Standards
Sort
View
VLDB
2001
ACM
126views Database» more  VLDB 2001»
15 years 11 months ago
Semantic integrity support in SQL: 1999 and commercial (object-)relational database management systems
The correctness of the data managed by database systems is vital to any application that utilizes data for business, research, and decision-making purposes. To guard databases agai...
Can Türker, Michael Gertz
PODS
2006
ACM
116views Database» more  PODS 2006»
15 years 11 months ago
Relational lenses: a language for updatable views
We propose a novel approach to the classical view update problem. The view update problem arises from the fact that modifications to a database view may not correspond uniquely to...
Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vau...
ICFP
2005
ACM
15 years 11 months ago
The anatomy of a loop: a story of scope and control
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
Olin Shivers
ICFP
2003
ACM
15 years 11 months ago
A sound and complete axiomatization of delimited continuations
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
Yukiyoshi Kameyama, Masahito Hasegawa
PERCOM
2008
ACM
15 years 10 months ago
Towards Robust Low Cost Authentication for Pervasive Devices
Low cost devices such as RFIDs, sensor network nodes, and smartcards are crucial for building the next generation pervasive and ubiquitous networks. The inherent power and footpri...
Erdinç Öztürk, Ghaith Hammouri, B...