Sciweavers

1989 search results - page 295 / 398
» Applications of a model based predictive control to heat-exc...
Sort
View
CDC
2008
IEEE
137views Control Systems» more  CDC 2008»
16 years 25 days ago
Increasingly correct message passing averaging algorithms
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
Kurt Plarre, Francesco Bullo
SMC
2007
IEEE
134views Control Systems» more  SMC 2007»
16 years 18 days ago
A Petri net-based approach to QoS-aware configuration for web services
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
PengCheng Xiong, Yushun Fan, MengChu Zhou
ICSOC
2007
Springer
16 years 15 days ago
Pluggable Framework for Enabling the Execution of Extended BPEL Behavior
Adding runtime support for BPEL extensions typically r reacting to navigation events from a BPEL engine executing an extende model and (2) affecting the engine’s navigation behav...
Rania Khalaf, Dimka Karastoyanova, Frank Leymann
RBAC
1998
84views more  RBAC 1998»
15 years 7 months ago
Decentralized User-role Assignment for Web-based Intranets
The intricacy of security administration is one of the most challenging problems in large networked systems. This problem is especially serious in the Web environment, which consi...
Ravi S. Sandhu, Joon S. Park
JUCS
2007
108views more  JUCS 2007»
15 years 6 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani