Sciweavers

2137 search results - page 225 / 428
» Control of a Car-Like Robot Using a Dynamic Model
Sort
View
ICRA
2009
IEEE
141views Robotics» more  ICRA 2009»
15 years 10 months ago
Development of insect thorax based flapping mechanism
—Design of a flapping mechanism for flapping wing micro air vehicles (FWMAV) is presented based on a mathematical model of insect thorax. This model also includes an aerodynami...
Zaeem Khan, Kyle Steelman, Sunil Agrawal
SEC
2007
15 years 5 months ago
Extending Role Based Access Control Model for Distributed Multidomain Applications
This paper presents the results related to the development of a flexible domain-based access control infrastructure for distributed Grid-based Collaborative Environments and Comple...
Yuri Demchenko, Leon Gommans, Cees de Laat
ASM
2000
ASM
15 years 8 months ago
Modeling the Dynamics of UML State Machines
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
Egon Börger, Alessandra Cavarra, Elvinia Ricc...
ECCB
2008
IEEE
15 years 4 months ago
Temporal logic patterns for querying dynamic models of cellular interaction networks
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
158
Voted
CATA
2003
15 years 5 months ago
A Restaurant Finder using Belief-Desire-Intention Agent Model and Java Technology
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
Dongqing Lin, Thomas P. Wiggen, Chang-Hyun Jo