10159 search results - page 143 / 2032 » System Design Validation Using Formal Models |
147
Voted
AGTIVE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
129
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
130
click to vote
ESAW
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...
113
click to vote
IEE
2008
15 years 1 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
129
click to vote
FLAIRS
2006
15 years 3 months ago
2006
In this paper, we describe an approach to modelling contextaware systems starting on the knowledge level. We make use of ideas from Activity Theory to structure the general contex...