Sciweavers

1587 search results - page 212 / 318
» The Semantics of Extended SOFL
Sort
View
142
Voted
ICFP
2004
ACM
16 years 5 months ago
Multi-return function call
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
Olin Shivers, David Fisher
196
Voted
PERCOM
2006
ACM
16 years 5 months ago
CAPS: Energy-Efficient Processing of Continuous Aggregate Queries in Sensor Networks
In this paper, we design and evaluate an energy efficient data retrieval architecture for continuous aggregate queries in wireless sensor networks. We show how the modification of...
Wen Hu, Archan Misra, Rajeev Shorey
FLOPS
2010
Springer
16 years 6 days ago
Applying Constraint Logic Programming to SQL Test Case Generation
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
Rafael Caballero, Yolanda García-Ruiz, Fern...
135
Voted
VL
2009
IEEE
164views Visual Languages» more  VL 2009»
16 years 3 days ago
QueryMarvel: A visual query language for temporal patterns using comic strips
In many domains, decision makers want to find and understand patterns of events as these patterns often give insight into the causal relationships among events. Current systems to...
Jing Jin, Pedro A. Szekely
CALCO
2009
Springer
115views Mathematics» more  CALCO 2009»
15 years 12 months ago
Relating Coalgebraic Notions of Bisimulation
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
Sam Staton