Sciweavers

4666 search results - page 637 / 934
» Equations on Timed Languages
Sort
View
SEMWEB
2004
Springer
16 years 3 days ago
Bringing Semantics to Web Services: The OWL-S Approach
Service interface description languages such as WSDL, and related standards, are evolving rapidly to provide a foundation for interoperation between Web services. At the same time,...
David L. Martin, Massimo Paolucci, Sheila A. McIlr...
VLDB
2004
ACM
111views Database» more  VLDB 2004»
16 years 3 days ago
A Framework for Using Materialized XPath Views in XML Query Processing
XML languages, such as XQuery, XSLT and SQL/XML, employ XPath as the search and extraction language. XPath expressions often define complicated navigation, resulting in expensive...
Andrey Balmin, Fatma Özcan, Kevin S. Beyer, R...
FTDCS
2003
IEEE
16 years 2 days ago
Secure Middleware for Situation-Aware Naval C2 and Combat Systems
There is an increasing need within the Navy and Marine Corps for building distributed situation-aware applications that are rapidly recon gurable and survivable in the face of att...
Ramesh Bharadwaj
MEMOCODE
2003
IEEE
16 years 1 days ago
MoDe: A Method for System-Level Architecture Evaluation
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
Jan Romberg, Oscar Slotosch, Gabor Hahn
DEBS
2003
ACM
16 years 1 days 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