2794 search results - page 410 / 559 » A New Architecture for Automated Modelling |
174
click to vote
ICEB
2004
15 years 7 months ago
2004
Simulations preserve the knowledge of complex dynamic systems and consequently transfer the knowledge of the cohesions of its elements to a specified target group. As the progress...
178
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Abstract-- In nanometer-scale VLSI technologies, several interconnect issues like routing congestion and interconnect delay have become the main concerns in placement. However, all...
173
click to vote
ICFEM
2005
Springer
16 years 6 hour ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
196
click to vote
ACSW
2007
15 years 8 months ago
2007
An infrastructure for remote instrument access, data acquisition and data management is being developed for e-Research. The Common Instrument Middleware Architecture (CIMA) is bei...
166
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
Abstract. With the widespread use of e-business coupled with the public's awareness of data privacy issues and recent database security related legislations, incorporating sec...