Sciweavers

5723 search results - page 911 / 1145
» Network Management
Sort
View
ISOLA
2010
Springer
15 years 2 months ago
Design Choices for High-Confidence Distributed Real-Time Software
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
Sebastian Fischmeister, Akramul Azim
ICWS
2009
IEEE
15 years 2 months ago
A Dynamic Approach toward QoS-Aware Service Workflow Composition
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
David Chiu, Sagar Deshpande, Gagan Agrawal, Rongxi...
CONSTRAINTS
2010
116views more  CONSTRAINTS 2010»
15 years 2 months ago
Enabling local computation for partially ordered preferences
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...
Hélène Fargier, Emma Rollon, Nic Wil...
GRID
2010
Springer
15 years 2 months ago
Parallel SAT Solving on Peer-to-Peer Desktop Grids
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
Sven Schulz, Wolfgang Blochinger
CDC
2010
IEEE
112views Control Systems» more  CDC 2010»
14 years 11 months ago
Feedback control of the National Airspace System to mitigate weather disruptions
This paper proposes a general modeling framework adapted to the feedback control of traffic flows in Eulerian models of the National Airspace System (NAS). It is shown that the pro...
Jerome Le Ny, Hamsa Balakrishnan