Sciweavers

1136 search results - page 56 / 228
» A Prototype of an Active Form System
Sort
View
HYBRID
2003
Springer
14 years 2 months ago
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
Richard J. Boulton, Ruth Hardy, Ursula Martin
DARS
2000
Springer
140views Robotics» more  DARS 2000»
14 years 27 days ago
Micro Self-Reconfigurable Robotic System using Shape Memory Alloy
This paper presents micro self-reconfigurable modular robotic systems using shape memory alloy (SMA). The system is designed so that various shapes can be autonomously formed by a ...
Eiichi Yoshida, Satoshi Murata, Shigeru Kokaji, Ko...
IWPC
2002
IEEE
14 years 2 months ago
Mining System-User Interaction Traces for Use Case Models
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...
Mohammad El-Ramly, Eleni Stroulia, Paul G. Sorenso...
FPL
2006
Springer
147views Hardware» more  FPL 2006»
14 years 28 days ago
Secure Content Distribution System Based on Run-Time Partial Hardware Reconfiguration
A secure content distribution system is prototyped based on run-time partial reconfigurability of an FPGA. The system provides a robust content protection scheme for online conten...
Yohei Hori, Hiroyuki Yokoyama, Kenji Toda
USENIX
1993
13 years 10 months ago
Fremont: A System for Discovering Network Characteristics and Problems
In this paper we present an architecture and prototype implementation for discovering key network characteristics, such as hosts, gateways, and topology. The Fremont system uses a...
David C. M. Wood, Sean S. Coleman, Michael F. Schw...