298 search results - page 41 / 60 » A relational algebraic framework for models management |
ENTCS
2007
15 years 1 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
PVLDB
2010
15 years 4 days ago
2010
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LIN...
121
click to vote
CSCWD
2001
Springer
15 years 6 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
123
click to vote
ACSAC
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a Quality of Security Service (QoSS) costing framework and demonstration. A method for quantifying costs related to the security service and for storing and re...
212
click to vote
SIGMOD
2008
ACM
16 years 1 months ago
2008
ACM
Many scientific, financial, data mining and sensor network applications need to work with continuous, rather than discrete data e.g., temperature as a function of location, or sto...