Sciweavers

11455 search results - page 2001 / 2291
» The Rayset and Its Applications
Sort
View
ICNP
1998
IEEE
15 years 11 months ago
A Proof Technique for Liveness Properties of Multifunction Composite Protocols
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
J. Park, R. Miller
OOPSLA
1999
Springer
15 years 11 months ago
Atlas: A Case Study in Building a Web-Based Learning Environment using Aspect-oriented Programming
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
Mik Kersten, Gail C. Murphy
ICRA
1998
IEEE
111views Robotics» more  ICRA 1998»
15 years 11 months ago
Observing Pose and Motion Through Contact
This paper investigates how to "observe" a planar object being pushed by a finger. The pushing is governed by a nonlinear system that relates through contact the object ...
Yan-Bin Jia, Michael Erdmann
IPPS
1998
IEEE
15 years 11 months ago
Low Memory Cost Dynamic Scheduling of Large Coarse Grain Task Graphs
Schedulinglarge task graphsis an importantissue in parallel computingsince it allowsthe treatment of big size problems. In this paper we tackle the following problem: how to sched...
Michel Cosnard, Emmanuel Jeannot, Laurence Rougeot
IPPS
1998
IEEE
15 years 11 months ago
An Architecture for Network Resource Monitoring in a Distributed Environment
As part of its HiPer-D Program, the United States Navy is developing an experimental distributed system which achieves survivability by dynamically reconfiguring the system using ...
Philip M. Irey IV, Robert W. Hott, David T. Marlow
« Prev « First page 2001 / 2291 Last » Next »