Sciweavers

2268 search results - page 181 / 454
» The Essence of Form Abstraction
Sort
View
126
Voted
PAKDD
2010
ACM
128views Data Mining» more  PAKDD 2010»
15 years 6 months ago
Privacy-Preserving Network Aggregation
Abstract. Consider the scenario where information about a large network is distributed across several different parties or commercial entities. Intuitively, we would expect that th...
Troy Raeder, Marina Blanton, Nitesh V. Chawla, Kei...
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
15 years 6 months ago
Qualitative diagnosability of labeled petri nets revisited
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
Stefan Haar
CDC
2009
IEEE
119views Control Systems» more  CDC 2009»
15 years 6 months ago
On-line adaptive optimal timing control of switched systems
Abstract— In this paper we consider the problem of optimizing over the switching times for a multi-modal dynamic system when the complete cost-to-go is not available. The instant...
Xu Chu Ding, Yorai Wardi, Magnus Egerstedt
CDC
2009
IEEE
145views Control Systems» more  CDC 2009»
15 years 6 months ago
On performance limitations of congestion control
Abstract— Fundamental performance limitations on congestion control is discussed in relation to the information that is available in the controller. Three control architectures t...
Henrik Sandberg, Håkan Hjalmarsson, Ulf T. J...
CONCUR
2009
Springer
15 years 6 months ago
Concurrent Kleene Algebra
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
C. A. R. Hoare, Bernhard Möller, Georg Struth...