1895 search results - page 220 / 379 » Using ATL for Checking Models |
141
click to vote
FORMATS
2003
Springer
15 years 10 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
167
click to vote
ECBS
2007
IEEE
15 years 9 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
136
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
146
click to vote
FORTE
2007
15 years 6 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
149
click to vote
SELMAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...