Sciweavers

2960 search results - page 292 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
16 years 5 days ago
Optimal Design, Evaluation, and Analysis of AGV Transportation Systems Based on Various Transportation Demands
— In this paper, two designs for optimal Automated Guided Vehicle (AGV) transportation systems are presented. One is vertical and the other, horizontal. For these systems, the hy...
Satoshi Hoshino, Jun Ota, Akiko Shinozaki, Hideki ...
FSE
2004
Springer
84views Cryptology» more  FSE 2004»
15 years 12 months ago
Vulnerability of Nonlinear Filter Generators Based on Linear Finite State Machines
We present a realization of an LFSM that utilizes an LFSR. This is based on a well-known fact from linear algebra. This structure is used to show that a previous attempt at using a...
Jin Hong, Dong Hoon Lee 0002, Seongtaek Chee, Pala...
ICSE
2004
IEEE-ACM
16 years 6 months ago
Runtime Verification of Statechart Implementations
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
Gergely Pintér, István Majzik
IFIP
2007
Springer
16 years 22 days ago
Platform-Independent Programming of Data-Intensive Applications Using UML
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski...
ICRA
2006
IEEE
71views Robotics» more  ICRA 2006»
16 years 18 days ago
Stepping Motion for a Human-like Character to Maintain Balance against Large Perturbations
— We propose a method of maintaining balance for a human-like character against large perturbations. The method enables a human-like model to maintain its balance with active who...
Shunsuke Kudoh, Taku Komura, Katsushi Ikeuchi