Sciweavers

3653 search results - page 432 / 731
» On Recognizable Timed Languages
Sort
View
IWMM
2004
Springer
101views Hardware» more  IWMM 2004»
16 years 1 days ago
Exploring the barrier to entry: incremental generational garbage collection for Haskell
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
Andrew M. Cheadle, A. J. Field, Simon Marlow, Simo...
SAS
2004
Springer
16 years 20 hour ago
Program Generators and the Tools to Make Them
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this paper, we discuss the potential impact and resear...
Yannis Smaragdakis
143
Voted
SEMWEB
2004
Springer
16 years 19 hour 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 16 hour 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
15 years 12 months 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