3045 search results - page 371 / 609 » Formal Approaches to Software Architecture |
199
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We d...
200
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
164
click to vote
ENTCS
2010
15 years 6 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
237
click to vote
TRUSTBUS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper we propose a security architecture and mechanism for Virtual Organizations (VO) for businesses. The VOs we consider are based on web service technology to a...
177
click to vote
CODES
2005
IEEE
16 years 13 days ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....