Sciweavers

2800 search results - page 308 / 560
» Fibrational Control Structures
Sort
View
145
Voted
UML
2005
Springer
15 years 9 months ago
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
José A. Cruz-Lemus, Marcela Genero, M. Espe...
133
Voted
SC
2004
ACM
15 years 9 months ago
The Potential of Computation Regrouping for Improving Locality
Improving program locality has become increasingly important on modern computer systems. An effective strategy is to group computations on the same data so that once the data are ...
Chen Ding, Maksim Orlovich
124
Voted
DFG
2004
Springer
15 years 9 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
131
Voted
ECAI
2004
Springer
15 years 9 months ago
The KGP Model of Agency
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
107
Voted
ICRA
2003
IEEE
108views Robotics» more  ICRA 2003»
15 years 9 months ago
An Extensor Mechanism for an Anatomical Robotic Hand
-- The human finger possesses a structure called the extensor mechanism, a web-like collection of tendinous material that lies on the dorsal side of each finger and connects the co...
David D. Wilkinson, Michael Vande Weghe, Yoky Mats...