Sciweavers

4767 search results - page 792 / 954
» Structures for Abstract Rewriting
Sort
View
AUTOMATICA
2006
160views more  AUTOMATICA 2006»
13 years 10 months ago
Boundary control of linearized Saint-Venant equations oscillating modes
Abstract-- The Saint-Venant equations describe the dynamics of one dimensional open-channel flow. The paper investigates linearized Saint-Venant equations modes and their control. ...
Xavier Litrico, Vincent Fromion
CONCURRENCY
2006
112views more  CONCURRENCY 2006»
13 years 10 months ago
Implementing BPEL4WS: the architecture of a BPEL4WS implementation
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
Francisco Curbera, Rania Khalaf, William Nagy, San...
CORR
2006
Springer
88views Education» more  CORR 2006»
13 years 10 months ago
Both Generic Design and Different Forms of Designing
Abstract. This paper defends an augmented cognitively oriented "genericdesign hypothesis": There are both significant similarities between the design activities implement...
Willemien Visser
CORR
2006
Springer
81views Education» more  CORR 2006»
13 years 10 months ago
Modeling Aspect Mechanisms: A Top-Down Approach
A plethora of aspect mechanisms exist today. All of these diverse mechanisms integrate concerns into artifacts that exhibit crosscutting structure. What we lack and need is a char...
Sergei Kojarski, David H. Lorenz
CSUR
2006
147views more  CSUR 2006»
13 years 10 months ago
A survey of research and practices of Network-on-chip
resents a perspective on existing NoC research. We define the following abstractions: system, network adapter, network, and link to explain and structure the fundamental concepts. ...
Tobias Bjerregaard, Shankar Mahadevan