4890 search results - page 744 / 978 » From system specifications to component behavioral models |
137
click to vote
JBI
2011
14 years 7 months ago
2011
We are developing a set of ontologies that deal with vector-borne diseases and the arthropod vectors that transmit them. For practical reasons (application priorities), we initiat...
82
Voted
PACS
2004
Springer
15 years 6 months ago
2004
Springer
Management of power in data centers is driven by the need to not exceed circuit capacity. The methods employed in the oversight of these power circuits are typically static and ad...
100
click to vote
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
100
Voted
CCGRID
2001
IEEE
15 years 4 months ago
2001
IEEE
Recent advances in computing and communication have given rise to the computational grid notion. The core of this computing paradigm is the design of a system for drawing compute ...
131
click to vote
CGF
2008
15 years 26 days ago
2008
Most graph visualization techniques focus on the structure of graphs and do not offer support for dealing with node attributes and edge labels. To enable users to detect relations...