94 search results - page 7 / 19 » Declarative specialization for object-oriented-program speci... |
102
click to vote
DATESO
2009
14 years 9 months ago
2009
Top trees are a dynamic self-adjusting data structure that can be used by any tree algorithm. Actually, an arbitrary number of different tree algorithms can use a single structure....
150
click to vote
SIGMOD
2008
ACM
15 years 11 months ago
2008
ACM
We propose to demonstrate SGL, a language and system for writing computer games using data management techniques. We will demonstrate a complete game built using the system, and s...
159
click to vote
WOLLIC
2010
Springer
15 years 4 months ago
2010
Springer
Recently, an axiomatization for functional dependencies (FDs) and multivalued dependencies (MVDs) has been established where arbitrary attributes can be specified as NOT NULL. Tha...
DBSEC
2003
15 years 29 days ago
2003
The SDSD-system offers state-dependent access control in distributed object systems. The system enforces protocols which declare sets of activity sequences as allowed, thereby for...
EDBTW
2006
Springer
15 years 1 months ago
2006
Springer
The information infrastructure in today's businesses consists of many interoperating autonomous systems. Changes to a single system can therefore have an unexpected impact on ...