750 search results - page 113 / 150 » Declarative event-oriented programming |
231
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
121
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
We present an update on the status of the Cougar Sensor Database Project, in which we are investigating a database approach to sensor networks: Clients "program" the sen...
125
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
123
click to vote
ER
2009
Springer
15 years 11 months ago
2009
Springer
In previous work, we proposed an algebra whose operators allow to specify the valid compound terms of a faceted taxonomy, in a flexible manner (by combining positive and negative ...
129
click to vote
CIBSE
2009
ACM
15 years 11 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...