Sciweavers

796 search results - page 87 / 160
» A Formalization of ODMG Queries
Sort
View
POPL
2012
ACM
13 years 8 months ago
A compiler and run-time system for network programming languages
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
Christopher Monsanto, Nate Foster, Rob Harrison, D...
116
Voted
SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
13 years 3 months ago
Finding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
Michael Emmi, Akash Lal
ICDE
2006
IEEE
169views Database» more  ICDE 2006»
16 years 2 months ago
Making Designer Schemas with Colors
XML schema design has two opposing goals: elimination of update anomalies requires that the schema be as normalized as possible; yet higher query performance and simpler query exp...
Nuwee Wiwatwattana, H. V. Jagadish, Laks V. S. Lak...
182
Voted
SIGMOD
2008
ACM
161views Database» more  SIGMOD 2008»
16 years 29 days ago
Efficient pattern matching over event streams
Pattern matching over event streams is increasingly being employed in many areas including financial services, RFIDbased inventory management, click stream analysis, and electroni...
Jagrati Agrawal, Yanlei Diao, Daniel Gyllstrom, Ne...
183
Voted
SIGMOD
2007
ACM
188views Database» more  SIGMOD 2007»
16 years 29 days ago
Keyword search on relational data streams
Increasing monitoring of transactions, environmental parameters, homeland security, RFID chips and interactions of online users rapidly establishes new data sources and applicatio...
Alexander Markowetz, Yin Yang, Dimitris Papadias