4061 search results - page 338 / 813 » Framework Evolution Tool |
214
click to vote
JANCL
2007
15 years 6 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
273
click to vote
EUROMICRO
2011
IEEE
14 years 6 months ago
2011
IEEE
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
173
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
This tutorial paper surveys the potential implications of subwavelength optical lithography for new tools and flows in the interface between layout design and manufacturability. W...
186
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Level set method based segmentation provides an efficient tool for topological and geometrical shape handling. Conventional level set surfaces are only C0 continuous since the le...
174
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
While many fields have well-defined research agendas, evolution of the field of digital forensics has been largely driven by practitioners in the field. As a result, the majority ...