Sciweavers

602 search results - page 95 / 121
» An access control model for mobile physical objects
Sort
View
ICRA
2007
IEEE
102views Robotics» more  ICRA 2007»
15 years 8 months ago
On the Force Capabilities of Centripetal Force-actuated Microrobotic Platforms
—This paper studies the capabilities of a microrobotic platform, driven by vibrating motors, to generate and impart micromanipulation forces of desired type and magnitude. First,...
P. Vartholomeos, Kostas Vlachos, Evangelos Papadop...
IFIPTCS
2000
15 years 5 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
VTC
2006
IEEE
15 years 7 months ago
Performance Comparison of OFDM-TDMA and OFDMA with Cross-Layer Consideration
— Performance comparison of multiuser OFDM-TDMA and OFDMA systems by considering physical and link cross-layer behavior is conducted in this work. We provide a new framework for ...
Yu-Jung Chang, Feng-Tsun Chien, C. C. Jay Kuo
132
Voted
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
15 years 8 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
AINA
2007
IEEE
15 years 8 months ago
How to Study Wireless Mesh Networks: A hybrid Testbed Approach
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...
Alexander Zimmermann, Mesut Günes, Martin Wen...