2836 search results - page 247 / 568 » Model Checking for Software Architectures |
162
Voted
IJAOSE
2008
15 years 4 months ago
2008
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
176
Voted
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
156
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
121
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we present an approach to multi-objective exploration of the mapping space of a mesh-based network-on-chip architecture. Based on evolutionary computing techniques, ...
118
Voted
IESA
2007
15 years 6 months ago
2007
The SAMBA (Systems for AMBient intelligence enabled by Agents) architecture reported here is a conceptual service-oriented architecture supporting the interaction and interoperabil...