10159 search results - page 259 / 2032 » System Design Validation Using Formal Models |
122
click to vote
EASSS
2001
Springer
15 years 7 months ago
2001
Springer
This contribution presents a knowledge-based model of the agents’ mutual awareness (social knowledge) and justifies its role in various classes of applications of the concept of...
127
click to vote
DIMACS
1996
15 years 4 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
112
click to vote
ISVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
129
click to vote
ICECCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
121
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...