Sciweavers

5085 search results - page 143 / 1017
» Multidimensional Design by Examples
Sort
View
DATE
2002
IEEE
75views Hardware» more  DATE 2002»
15 years 10 months ago
System Design for Flexibility
With the term flexibility, we introduce a new design dimension of an embedded system that quantitatively characterizes its feasibility in implementing not only one, but possibly ...
Christian Haubelt, Jürgen Teich, Kai Richter,...
125
Voted
CDC
2009
IEEE
116views Control Systems» more  CDC 2009»
15 years 9 months ago
Autonomous motorcycles for agile maneuvers, part II: Control systems design
— In this paper, we present trajectory tracking and balancing of autonomous motorcycles for agile maneuvers. Based on the newly developed autonomous motorcycle dynamics in the co...
Jingang Yi, Yizhai Zhang, Dezhen Song
129
Voted
FASE
2001
Springer
15 years 9 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
ATAL
2000
Springer
15 years 9 months ago
Architectures and Idioms: Making Progress in Agent Design
This chapter addresses the problem of producing and maintaining progress in agent design. New architectures often hold important insights into the problems of designing intelligenc...
Joanna Bryson, Lynn Andrea Stein
CIA
2000
Springer
15 years 9 months ago
Design of Collaborative Information Agents
Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at differe...
Catholijn M. Jonker, Matthias Klusch, Jan Treur