Sciweavers

8083 search results - page 262 / 1617
» A Formalization of Software Architecture
Sort
View
SEKE
2005
Springer
16 years 2 days ago
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
Hong Zhu
ATAL
2001
Springer
15 years 11 months ago
Formalizing a Language for Institutions and Norms
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
Marc Esteva, Julian A. Padget, Carles Sierra
ENTCS
2007
116views more  ENTCS 2007»
15 years 6 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
ESWS
2008
Springer
15 years 8 months ago
A Functional Semantic Web Architecture
A layered architecture for the Semantic Web that adheres to software engineering principles and the fundamental aspects of layered architectures will assist in the development of S...
Aurona Gerber, Alta van der Merwe, Andries Barnard
ICSE
2004
IEEE-ACM
16 years 6 months ago
Problem Structure and Dependable Architecture
An approach to software development is sketched in which problem structuring is separated from software architecture. The problem is decomposed into subproblems of familiar classes...
Michael Jackson