1818 search results - page 323 / 364 » Granularity-Adaptive Proof Presentation |
FM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
SBMF
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
PETRA
2009
ACM
14 years 3 months ago
2009
ACM
Due to the increasing elderly population, healthcare systems able to promote independent living are regarded as an emerging market. Despite the significant advances aiming to supp...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— In this paper we present a dual-based decomposition method, called here the proximal center method, to solve distributed model predictive control (MPC) problems for cou...