897 search results - page 75 / 180 » A Methodology for Agent-Oriented Analysis and Design |
SOFTVIS
2010
ACM
13 years 8 months ago
2010
ACM
Previous techniques for visualizing time-series of multivariate data mostly plot the time along additional axes, are often complex, and does not support intuitive interaction. In ...
ISQED
2011
IEEE
12 years 11 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
DANCE
2002
IEEE
14 years 1 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
WSC
2007
13 years 10 months ago
2007
Cyber security methods are continually being developed. To test these methods many organizations utilize both virtual and physical networks which can be costly and time consuming....
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Since pre-silicon functional verification is insufficient to detect all design errors, re-spins are often needed due to malfunctions that escape into the silicon. This paper pre...