Sciweavers

5244 search results - page 320 / 1049
» Structural Complexity of AvgBPP
Sort
View
SAC
2008
ACM
15 years 6 months ago
Preserving coordination properties when transforming concurrent system components
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
Gudmund Grov, Robert F. Pointon, Greg Michaelson, ...
SCL
2010
86views more  SCL 2010»
15 years 5 months ago
Stability radii for positive linear time-invariant systems on time scales
We deal with dynamic equations on time scales, where we characterize the positivity of a system. Uniform exponential stability of a system is determined by the spectrum of its mat...
T. S. Doan, A. Kalauch, Stefan Siegmund, Fabian Wi...
SERA
2010
Springer
15 years 5 months ago
A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
Mohammed Nadhmi Miladi, Fatma Krichen, Mohamed Jma...
SOCROB
2010
144views Robotics» more  SOCROB 2010»
15 years 5 months ago
A Multimodal Human-Robot-Dialog Applying Emotional Feedbacks
Abstract. This paper presents a system for human-robot communication situated in an ambient assisted living scenario, where the robot performs an orderand-serve-procedure. The inte...
Alexander Bannat, Jürgen Blume, Jürgen T...
VL
2010
IEEE
173views Visual Languages» more  VL 2010»
15 years 5 months ago
Modular Design by Contract Visually and Formally Using VCL
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
Nuno Amálio, Pierre Kelsen