3045 search results - page 247 / 609 » Formal Approaches to Software Architecture |
247
click to vote
EDOC
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Enterprise architecture (EA) management provides an engineering approach for the continuous advancement of the enterprise as a whole. The high number of involved compone...
183
click to vote
ADAEUROPE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...
165
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
170
click to vote
DAC
2006
ACM
16 years 18 days ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
167
click to vote
IAT
2006
IEEE
16 years 20 days ago
2006
IEEE
A Multi-agent system (MAS) is an open distributed system of agents. The agents in a MAS may form certain specific groups, where agents in each group jointly engage in solving a s...