Sciweavers

1855 search results - page 11 / 371
» System Consequence
Sort
View
STACS
2000
Springer
15 years 1 months ago
The Stability of Saturated Linear Dynamical Systems Is Undecidable
We prove that several global properties (global convergence, global asymptotic stability, mortality, and nilpotence) of particular classes of discrete time dynamical systems are un...
Vincent D. Blondel, Olivier Bournez, Pascal Koiran...
ENTCS
2008
110views more  ENTCS 2008»
14 years 9 months ago
Exploring an Option Space to Engineer a Ubiquitous Computing System
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
Michael D. Harrison, Christian Kray, José C...
GI
2001
Springer
15 years 2 months ago
Improving Goodput by Relaying in Transmission-Power-Limited Wireless Systems
In wireless communication systems, the capacity of a cell (the amount of correctly delivered traffic in unit time) is a precious resource that can not be arbitrarily increased. T...
Seble Mengesha, Holger Karl, Adam Wolisz
IWPC
2009
IEEE
15 years 4 months ago
Enabling more precise dependency analysis in event-based systems
Maintenance engineers need to understand component dependencies in a system to successfully modify component implementations. Interaction dependencies are especially hard to under...
Daniel Popescu, Joshua Garcia, Nenad Medvidovic
IICS
2009
Springer
15 years 4 months ago
Web 2.0 as an Autopoietic System - Implications for Innovative Web-Interfaces
: The Web 2.0 can be regarded as an evolutionary process of medial differentiation. Infinite online communities are emerging and disappearing. It seems that a race has started in s...
Kathrin Vent