Sciweavers

576 search results - page 53 / 116
» XML-RL Update Language
Sort
View
DATE
2008
IEEE
157views Hardware» more  DATE 2008»
15 years 6 months ago
Logical Reliability of Interacting Real-Time Tasks
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. H...
EXTREME
2004
ACM
15 years 5 months ago
Automated Quality Assurance for Heuristic-Based XML Creation Systems
Large volumes of XML document instances are created by conversion systems that rely on heuristic-based tagging. Quality assurance is typically conducted on individual document ins...
Bruce Rosenblum, Irina Golfman
DEBS
2003
ACM
15 years 5 months ago
Relational subscription middleware for Internet-scale publish-subscribe
We present a design of a distributed publish-subscribe system that extends the functionality of messaging middleware with “relational subscriptions”, to support timely updates...
Yuhui Jin, Robert E. Strom
SIGMOD
1997
ACM
107views Database» more  SIGMOD 1997»
15 years 4 months ago
Picture Programming Project
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
Nita Goyal, Charles Hoch, Ravi Krishnamurthy, Bria...
ECOOP
2006
Springer
15 years 3 months ago
Automated Detection of Refactorings in Evolving Components
Abstract. One of the costs of reusing software components is updating applications to use the new version of the components. Updating an application can be error-prone, tedious, an...
Danny Dig, Can Comertoglu, Darko Marinov, Ralph E....