713 search results - page 52 / 143 » Viewcharts: Syntax and Semantics |
RTSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
101
click to vote
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
108
click to vote
FOAL
2009
ACM
15 years 6 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
102
click to vote
IHM
2009
ACM
15 years 6 months ago
2009
ACM
In this article, we are interested in information visualisations creation and sharing. Our approach is to consider information visualisation as a dataflow, issued from web servic...
89
Voted
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...