Sciweavers

4139 search results - page 470 / 828
» Designing and Implementing Combinator Languages
Sort
View
ICRA
2007
IEEE
157views Robotics» more  ICRA 2007»
16 years 1 months ago
Distributed Watchpoints: Debugging Large Multi-Robot Systems
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
Michael DeRosa, Jason Campbell, Padmanabhan Pillai...
223
Voted
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
16 years 25 days ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
VLDB
2004
ACM
111views Database» more  VLDB 2004»
16 years 24 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...
AUSFORENSICS
2004
15 years 8 months ago
Generalising Event Forensics Across Multiple Domains
In cases involving computer related crime, event oriented evidence such as computer event logs, and telephone call records are coming under increased scrutiny. The amount of techn...
Bradley Schatz, George M. Mohay, Andrew Clark
ICWS
2004
IEEE
15 years 8 months ago
A DAML-Based Repository for QoS-Aware Semantic Web Service Selection
The Web is moving toward a collection of interoperating Web services. Achieving this interoperability requires dynamic discovery of Web services on the basis of their capabilities...
A. Soydan Bilgin, Munindar P. Singh