1525 search results - page 17 / 305 » Formal Models for Communication-Based Design |
111
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
124
click to vote
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
105
Voted
AAAI
2004
15 years 4 months ago
2004
We present CAMEO, the Camera Assisted Meeting Event Observer, which is a physical awareness system designed for use by an agent-based electronic assistant. CAMEO is used to observ...
119
Voted
ASM
2010
ASM
15 years 11 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
145
Voted
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...