841 search results - page 131 / 169 » Taming Dynamically Adaptive Systems using models and aspects |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based...
MM
2003
ACM
15 years 3 months ago
2003
ACM
We present a novel experience based sampling or experiential sampling technique which has the ability to focus on the analysis’s task by making use of the contextual information...
108
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
14 years 11 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
SAFECOMP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to s...
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
The design of secure buffer managers for database systems supporting real-time applications with firm deadlines is studied here. We first identify the design challenges and then p...