Sciweavers

1275 search results - page 86 / 255
» A Simple Focused Crawler
Sort
View
96
Voted
OHS
2001
Springer
15 years 8 months ago
The Pipeline of Enrichment: Supporting Link Creation for Continuous Media
The application of open hypermedia to temporal media has previously been explored with respect to the link service, in particular link delivery and generic linking. This paper is b...
Richard Beales, Don Cruickshank, David De Roure, N...
138
Voted
POPL
2000
ACM
15 years 8 months ago
A Type System for Expressive Security Policies
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
David Walker
APN
2000
Springer
15 years 8 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...
106
Voted
SIGCOMM
1999
ACM
15 years 8 months ago
A Readable TCP in the Prolac Protocol Language
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
Eddie Kohler, M. Frans Kaashoek, David R. Montgome...
ICRA
1999
IEEE
115views Robotics» more  ICRA 1999»
15 years 8 months ago
Gesture-Based Programming: A Preliminary Demonstration
This paper explores Gesture-Based Programming as a paradigm for programming robotic agents. Gesture-Based Programming is a form of programming by human demonstration that focuses ...
Richard M. Voyles, Pradeep K. Khosla