1163 search results - page 126 / 233 » Case Studies of Model Checking for Embedded System Designs |
184
click to vote
DATE
2003
IEEE
16 years 23 hour ago
2003
IEEE
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...
188
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
219
click to vote
ANSOFT
2002
15 years 6 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...
173
click to vote
ENDM
2000
15 years 6 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
202
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Feature-oriented software development (FOSD) aims at the construction, customization, and synthesis of large-scale software systems. We propose a novel software design paradigm,...