4902 search results - page 258 / 981 » Multi-agent Systems Methodology |
138
click to vote
DSD
2007
IEEE
15 years 12 months ago
2007
IEEE
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...
195
click to vote
TVLSI
2010
15 years 7 days ago
2010
Abstract-- The operational characteristics of integrated circuits based on nanoscale semiconductor technology are expected to be increasingly affected by variations in the manufact...
156
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...
165
click to vote
DSRT
2005
IEEE
15 years 11 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
169
click to vote
ASWEC
2009
IEEE
16 years 11 days ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...