173 search results - page 3 / 35 » Verification of Distributed Hierarchical Components |
140
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
133
click to vote
HYBRID
1998
Springer
15 years 5 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
SEC
2008
15 years 2 months ago
2008
Implementing access control efficiently and effectively in an open and distributed system is a challenging problem. One reason for this is that users requesting access to remote re...
ENTCS
2010
15 years 1 months ago
2010
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
ECRTS
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...