Sciweavers

3071 search results - page 39 / 615
» Explanatory Design Theory
Sort
View
IWFM
2003
123views Formal Methods» more  IWFM 2003»
14 years 11 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson
ICRA
2003
IEEE
141views Robotics» more  ICRA 2003»
15 years 3 months ago
Control of biomimetic locomotion via averaging theory
Based on a recently developed ”generalized averaging theory,” we present a generic approach for the design of stabilizing feedback controllers for biomimetic locomotive systems...
Patricio A. Vela, Joel W. Burdick
ISMVL
1999
IEEE
72views Hardware» more  ISMVL 1999»
15 years 2 months ago
Information Relationships and Measures in Application to Logic Design
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...
Lech Józwiak
CSCW
1998
ACM
15 years 2 months ago
Designing for the Dynamics of Cooperative Work Activities
CSCW seems to have a persistent problem of understanding the nature of “cooperative work”. This paper argues that this problem is a direct result of not looking at the dynamic...
Jakob Bardram
CODES
2010
IEEE
14 years 7 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...