33 search results - page 3 / 7 » Statistical Model Checking of Distributed Adaptive Real-Time... |
188
Voted
EICS
2009
ACM
16 years 3 days ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
254
Voted
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 8 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...
300
click to vote
LICS
2003
IEEE
16 years 21 days ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
231
Voted
EMSOFT
2005
Springer
16 years 29 days ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
189
click to vote
IOT
2010
15 years 4 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...