Sciweavers

1645 search results - page 183 / 329
» Rationale-Based Use Case Specification
Sort
View
LWA
2008
15 years 7 months ago
Towards Burst Detection for Non-Stationary Stream Data
Detecting bursts in data streams is an important and challenging task, especially in stock market, traffic control or sensor network streams. Burst detection means the identificat...
Daniel Klan, Marcel Karnstedt, Christian Pöli...
SNPD
2008
15 years 7 months ago
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
Peter Csaba Ölveczky
SODA
2008
ACM
84views Algorithms» more  SODA 2008»
15 years 7 months ago
Robust cost colorings
We consider graph coloring problems where the cost of a coloring is the sum of the costs of the colors, and the cost of a color is a monotone concave function of the total weight ...
Takuro Fukunaga, Magnús M. Halldórss...
VAMOS
2008
Springer
15 years 7 months ago
Reflective Component-based Technologies to Support Dynamic Variability
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
Nelly Bencomo, Gordon S. Blair, Carlos A. Flores-C...
AAAI
2004
15 years 7 months ago
Low-cost Addition of Preferences to DTPs and TCSPs
We present an efficient approach to adding soft constraints, in the form of preferences, to Disjunctive Temporal Problems (DTPs) and their subclass Temporal Constraint Satisfactio...
Bart Peintner, Martha E. Pollack