93 search results - page 13 / 19 » Formal Models for Architecture Aspects and Their Weaving |
DAC
2008
ACM
15 years 10 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
VLSID
2000
IEEE
15 years 1 months ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
ICWS
2010
IEEE
14 years 8 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
117
click to vote
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
ACII
2005
Springer
15 years 3 months ago
2005
Springer
We propose an architecture of an embodied conversational agent that takes into account two aspects of emotions: the emotions triggered by an event (the felt emotions) and the expre...