Sciweavers

2558 search results - page 274 / 512
» Model Composition Contracts
Sort
View
BC
2004
124views more  BC 2004»
15 years 4 months ago
Contribution of stretch reflexes to locomotor control: a modeling study
It is known that the springlike properties of muscles provide automatic load compensation during weight bearing. How crucial is sensory control of the motor output given these basi...
S. Yakovenko, V. Gritsenko, A. Prochazka
ICCD
2002
IEEE
141views Hardware» more  ICCD 2002»
16 years 1 months ago
Embedded Operating System Energy Analysis and Macro-Modeling
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha
134
Voted
P2P
2003
IEEE
130views Communications» more  P2P 2003»
15 years 10 months ago
Peer-to-Peer Wireless LAN Consortia: Economic Modeling and Architecture
Abstract—In this paper we explore the incentive and architectural issues that arise in Consortia of Peer-to-Peer Wireless Local Area Networks. A P2P WLAN Consortium (PWC) is a co...
Panayotis Antoniadis, Costas Courcoubetis, Elias C...
LPNMR
2007
Springer
15 years 11 months ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...
129
Voted
EMISA
2004
Springer
15 years 10 months ago
On the Modeling of Correct Service Flows with BPEL4WS
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
Manfred Reichert, Stefanie Rinderle, Peter Dadam