62 search results - page 5 / 13 » Specification and Validation of Distributed IP-Based Designs... |
EUROPAR
2006
Springer
13 years 10 months ago
2006
Springer
In the past, research on Multiprocessor Systems-on-Chip (MPSoC) has focused mainly on increasing the available processing power on a chip, while less effort was put into specific s...
IJAOSE
2008
13 years 6 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we present a system that automatically generates a 3D virtual world from a virtual institution (VI) specification, namely of activities that will take place in the v...
EMSOFT
2008
Springer
13 years 8 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
ECLIPSE
2005
ACM
13 years 8 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...