Sciweavers

882 search results - page 129 / 177
» Allowing State Changes in Specifications
Sort
View
SIGMOD
2006
ACM
113views Database» more  SIGMOD 2006»
16 years 6 months ago
XPORT: extensible profile-driven overlay routing trees
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...
Olga Papaemmanouil, Yanif Ahmad, Ugur Çetin...
EDBT
2008
ACM
161views Database» more  EDBT 2008»
16 years 6 months ago
The TELAR mobile mashup platform for Nokia internet tablets
With the Web 2.0 trend and its participation of end-users more and more data and information services are online accessible, such as web sites, Wikis, or web services. The integra...
Andreas Brodt, Daniela Nicklas
SEFM
2009
IEEE
16 years 18 days ago
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
Patrice Chalin
UIST
2009
ACM
16 years 11 days ago
Relaxed selection techniques for querying time-series graphs
Time-series graphs are often used to visualize phenomena that change over time. Common tasks include comparing values at different points in time and searching for specified patte...
Christian Holz, Steven Feiner
ACHI
2008
IEEE
16 years 10 days ago
Focusing Graphical User Interfaces in Model-Driven Software Development
— To meet fast changing demands on modern software architectures the ambition to shorten and improve software development processes has increased. The approach of model-driven so...
Stefan Link, Thomas Schuster, Philip Hoyer, Sebast...