1525 search results - page 66 / 305 » Formal Models for Communication-Based Design |
102
Voted
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
134
click to vote
MTV
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
115
Voted
IFM
2010
Springer
14 years 11 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
134
Voted
STORYTELLING
2005
Springer
15 years 6 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
108
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...