2607 search results - page 121 / 522 » On the Architecture of System Verification Environments |
169
click to vote
SELMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
187
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
177
click to vote
LCTRTS
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
148
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
In this work, we provide a technique for efficiently exploring the configuration space of a parameterized system-on-a-chip (SOC) architecture to find all Pareto-optimal configurat...
193
click to vote
COMPSAC
2007
IEEE
16 years 22 days ago
2007
IEEE
Systems based on Service-Oriented Architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. Users of SBS often requ...