3045 search results - page 158 / 609 » Formal Approaches to Software Architecture |
WOSP
2004
ACM
15 years 4 months ago
2004
ACM
We propose an automated compositional approach for component-based performance engineering, called the CB-SPE. It adapts to a CB framework the concepts and steps of the wellknown ...
CAISE
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
100
click to vote
SAC
2000
ACM
15 years 2 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
DAC
2005
ACM
15 years 1 months ago
2005
ACM
In this paper we present the impact of dynamically translating any sequence of instructions into combinational logic. The proposed approach combines a reconfigurable architecture ...
100
click to vote
ADAEUROPE
2005
Springer
15 years 4 months ago
2005
Springer
Teleoperated robots are used to perform hazardous tasks that human operators cannot carry out. The purpose of this paper is to present a new architecture (ACROSET) for the developm...