Sciweavers

3458 search results - page 306 / 692
» Abstracting Control
Sort
View
GI
2004
Springer
15 years 9 months ago
A LEGO-like Lightweight Software Component Architecture for Organic Computing
Abstract: The goals of organic computing are difficult to achieve due to the heterogenity of current software components. We believe that in the long term more advanced software a...
Thomas Schöbel-Theuer
ICA
2004
Springer
15 years 9 months ago
Accurate, Fast and Stable Denoising Source Separation Algorithms
Abstract. Denoising source separation is a recently introduced framework for building source separation algorithms around denoising procedures. Two developments are reported here. ...
Harri Valpola, Jaakko Särelä
ICALP
2004
Springer
15 years 9 months ago
Coordination Mechanisms
Abstract. We introduce the notion of coordination mechanisms to improve the performance in systems with independent selfish and noncolluding agents. The quality of a coordination ...
George Christodoulou, Elias Koutsoupias, Akash Nan...
ICTAC
2004
Springer
15 years 9 months ago
Real Time Reactive Programming in Lucid Enriched with Contexts
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
Kaiyu Wan, Vasu S. Alagar, Joey Paquet
IFIP
2004
Springer
15 years 9 months ago
Reasoning about Secure Interoperation Using Soft Constraints
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
Stefano Bistarelli, Simon N. Foley, Barry O'Sulliv...