5639 search results - page 134 / 1128 » Timed Abstract Non-interference |
107
click to vote
SE
2008
15 years 3 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
155
click to vote
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
105
click to vote
ECMDAFA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model-based development is supposed to improve the development efficiency by raising the abstraction level and generating applications instead of manually coding the appl...
156
Voted
ANSOFT
2002
15 years 1 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
91
Voted
ICMCS
1994
IEEE
15 years 5 months ago
1994
IEEE
Abstract