12333 search results - page 528 / 2467 » System Level Modelling for Hardware Software Systems |
181
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
164
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
193
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
178
click to vote
NTMS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Peer-to-Peer (P2P) systems gain much attention in recent years. According to many statistics, P2P systems contribute a significant portion of the Internet traffic. Individual In...
157
click to vote
FCCM
2007
IEEE
16 years 1 months ago
2007
IEEE
A technique is presented which allows an FPGAbased reconfigurable System-on-Chip to automatically and dynamically load hardware peripheral controllers and software device drivers ...