899 search results - page 120 / 180 » Implementing declarative overlays |
SIGMOD
1997
ACM
13 years 12 months ago
1997
ACM
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...
EUSAI
2004
Springer
13 years 11 months ago
2004
Springer
Home networks and the interconnection of home appliances is a classical theme in ubiquitous computing research. Security is a recurring concern, but there is a lack of awareness of...
MA
2000
Springer
13 years 11 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
CAV
1997
Springer
13 years 11 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
RIAO
2000
13 years 9 months ago
2000
This paper describes work within the NIST Text REtrieval Conference (TREC) over the last three years in designing and implementing evaluations of Spoken Document Retrieval (SDR) t...