5599 search results - page 725 / 1120 » Abstract State Services |
189
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
175
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on evel of abstraction. The key element of th...
250
click to vote
ABIALS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In order to establish autonomous behavior for technical systems, the well known trade-off between reactive control and deliberative planning has to be considered. Within ...
197
click to vote
FORTEST
2008
15 years 8 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
137
click to vote
WOTUG
2008
15 years 8 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...