10159 search results - page 487 / 2032 » System Design Validation Using Formal Models |
127
Voted
CONTEXT
1999
Springer
15 years 9 months ago
1999
Springer
Following the ecological approach to visual perception, this paper presents an innovative framework for the design of multimodal systems. The proposal emphasises the role of the vi...
150
click to vote
LCTRTS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
138
click to vote
IISWC
2008
IEEE
15 years 11 months ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
136
click to vote
CSCW
2010
ACM
16 years 1 months ago
2010
ACM
Emotions are an often overlooked aspect of work since they are not included in formal work models. However, they continue provide critical information as well as be part of a rich...
120
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, ...