93 search results - page 16 / 19 » Formal Models for Architecture Aspects and Their Weaving |
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
ICEIS
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
WICSA
2008
14 years 10 months ago
2008
Software modularization activities remain without the guidance of formal theories and models. According to Baldwin and Clark's [1] design rule theory (DRT) , modular architec...
DFKI
2005
Springer
15 years 2 months ago
2005
Springer
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...
109
click to vote
RTSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...