11017 search results - page 130 / 2204 » Closure Systems and their Structure |
ISORC
2000
IEEE
14 years 14 days ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Autonomic computing is being advocated as a tool for maintaining and managing large, complex computing systems. Self-organising multi-agent systems provide a suitable par...
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Environmental engineers from different organizations work in interdisciplinary projects having the need of information exchange. In particular, a collaborative environment with pe...