1022 search results - page 87 / 205 » The Modelling of Embedded Systems Using HASoC |
145
Voted
WORDS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
124
click to vote
RTAS
2009
IEEE
15 years 9 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
121
Voted
ENTCS
2002
15 years 2 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
134
click to vote
ROBOCUP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
104
click to vote
RTCSA
1995
IEEE
15 years 5 months ago
1995
IEEE
: An essential building-block for construction of future real-time computer systems (RTCS’s) is a timeliness-guaranteed operating system. The first co-author recently formulated ...