4434 search results - page 424 / 887 » On the Composition of Hybrid Systems |
152
Voted
CSFW
2006
IEEE
16 years 28 days ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
182
click to vote
RTAS
2006
IEEE
16 years 26 days ago
2006
IEEE
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...
210
Voted
ERLANG
2003
ACM
16 years 3 days ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
174
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper a reactive and concurrent control framework for viewpoint control is developed. The viewpoint control task is decomposed into three control objectives namely; obstac...
173
click to vote
TPPP
1994
15 years 11 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...