10159 search results - page 232 / 2032 » System Design Validation Using Formal Models |
129
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...
120
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
139
click to vote
CDVE
2006
Springer
15 years 6 months ago
2006
Springer
Knowledge Management (KM) is a complex objective, especially in the instance of extended enterprises consisting of SMEs, and critical in new product design and development (NPD). T...
140
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
143
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...