3045 search results - page 81 / 609 » Formal Approaches to Software Architecture |
88
Voted
ICSE
1997
IEEE-ACM
15 years 2 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
96
Voted
JSS
2006
14 years 11 months ago
2006
When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also im...
118
Voted
DFKI
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...
DAC
2008
ACM
15 years 12 months ago
2008
ACM
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
104
Voted
EUROMICRO
2009
IEEE
15 years 2 months ago
2009
IEEE
Runtime quality of software, such as availability and throughput, depends on architectural factors and execution environment characteristics (e.g. CPU speed, network latency). Alth...