308 search results - page 59 / 62 » Modular Verification of Interactive Systems with an Applicat... |
DAC
2008
ACM
14 years 7 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
CSB
2005
IEEE
14 years 10 days ago
2005
IEEE
ECOME is an interactive, graph-based model for simulating an evolving, closed consumption web. It demonstrates the fundamental behavior of a global ecosystem over evolutionary tim...
KDD
2004
ACM
14 years 2 days ago
2004
ACM
Many real-world graphs have been shown to be scale-free— vertex degrees follow power law distributions, vertices tend to cluster, and the average length of all shortest paths is...
VISUALIZATION
2000
IEEE
13 years 11 months ago
2000
IEEE
The microscopic analysis of time dependent 3D live cells provides considerable challenges to visualization. Effective visualization can provide insight into the structure and func...
MTA
2011
13 years 1 months ago
2011
: With the advances in a variety of software/hardware technologies and wireless networking, there is coming a need for ubiquitous collaboration which allows people to access inform...