Sciweavers

5064 search results - page 645 / 1013
» Recent Developments in Gridsolve
Sort
View
ICRA
1993
IEEE
74views Robotics» more  ICRA 1993»
15 years 11 months ago
Further Progress in Robot Juggling: The Spatial Two-Juggle
We report on our recently achieved spatial two-juggle: the ability to bat two freely falling balls into stable periodic vertical trajectories with a single three degree of freedom...
Alfred A. Rizzi, Daniel E. Koditschek
ICRA
1994
IEEE
84views Robotics» more  ICRA 1994»
15 years 11 months ago
Real-World Extensions to a Production Scheduling Algorithm Based on Lagrangian Relaxation
In this article, we develop three eflcient extensions to a recent production scheduling algorithm based on Lagrangian relaxation [9]. These extensions handle the following real-wo...
Y. Narahari, Sundar Ram Vedula
SRDS
1993
IEEE
15 years 11 months ago
Some Remarks on Protecting Weak Keys and Poorly-Chosen Secrets from Guessing Attacks
Authentication and key distribution protocols that utilize weak secrets (such as passwords and PINs) are traditionally susceptible to guessing attacks whereby an adversary iterate...
Gene Tsudik, Els Van Herreweghen
DAC
1994
ACM
15 years 11 months ago
Functional Test Generation for FSMs by Fault Extraction
Recent results indicate that functional test pattern generation (TPG) techniques may provide better defect coverages than do traditional logic-level techniques. Functional TPG alg...
Bapiraju Vinnakota, Jason Andrews
ICSE
1994
IEEE-ACM
15 years 10 months ago
On Formal Requirements Modeling Languages: RML Revisited
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
Sol J. Greenspan, John Mylopoulos, Alexander Borgi...