Sciweavers

5879 search results - page 929 / 1176
» Separation - Past, Present, and Future
Sort
View
ECSA
2010
Springer
15 years 6 months ago
Linking Design Decisions to Design Models in Model-Based Software Development
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
Patrick Könemann, Olaf Zimmermann
ACS
2007
15 years 6 months ago
A Topologist's View of Chu Spaces
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
Eraldo Giuli, Walter Tholen
AES
2007
Springer
86views Cryptology» more  AES 2007»
15 years 6 months ago
Numerical modelling of a gravity settler in dynamic conditions
An iterative numerical technique has been developed to simulate in detail the dynamics of a shallow-layer gravity settler. Currently acknowledged models apply only to specific eq...
Elsa F. Gomes, M. M. L. Guimarães, Lí...
AR
2007
111views more  AR 2007»
15 years 6 months ago
Acquisition of joint attention through natural interaction utilizing motion cues
Joint attention is one of the most important cognitive functions for the emergence of communication not only between humans but also between humans and robots. In the previous wor...
Hidenobu Sumioka, Koh Hosoda, Yuichiro Yoshikawa, ...
AUTOMATICA
2008
59views more  AUTOMATICA 2008»
15 years 6 months ago
Supervisory control of modular systems with global specification languages
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, H...