Sciweavers

3868 search results - page 631 / 774
» Open Systems in TLA
Sort
View
ECOOPW
1999
Springer
15 years 10 months ago
Security in Active Networks
The desire for exible networking services has given rise to the concept of active networks." Active networks provide a general framework for designing and implementing network...
D. Scott Alexander, William A. Arbaugh, Angelos D....
KBSE
1999
IEEE
15 years 10 months ago
An Integration of Deductive Retrieval into Deductive Synthesis
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
Bernd Fischer 0002, Jon Whittle
ICNP
1998
IEEE
15 years 10 months ago
Statistical Anomaly Detection for Link-State Routing Protocols
The JiNao project at MCNC/NCSU focuses on detecting intrusions, especially insider attacks, against OSPF (Open Shortest Path First) routing protocol. This paper presents the imple...
D. Qu, Brain Vetter, Feiyi Wang, R. Narayan, Shyht...
ICRA
1998
IEEE
107views Robotics» more  ICRA 1998»
15 years 10 months ago
Mobile Robot Exploration and Map-Building with Continuous Localization
Our research addresses how to integrate exploration and localization for mobile robots. A robot exploring and mapping an unknown environment needs to know its own location, but it...
Brian Yamauchi, Alan C. Schultz, William Adams
HT
1998
ACM
15 years 10 months ago
Link services or link agents?
A general link service for the WWW has been used within an Electronic Libraries’ project. Experience using it shows that as the links become increasingly interesting to the user...
Les Carr, Wendy Hall, Steve Hitchcock