58 search results - page 9 / 12 » Requirement enforcement by transformation automata |
ISLPED
2010
ACM
14 years 9 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
JCST
2008
14 years 9 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Any computational approach to design, including the use of evolutionary algorithms, requires the transformation of the domain-specific knowledge into a formal design representatio...
70
Voted
TKDE
2011
14 years 4 months ago
2011
Abstract—Existing research on privacy-preserving data publishing focuses on relational data: in this context, the objective is to enforce privacy-preserving paradigms, such as k-...
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
This paper describes a new algorithm for recovering the
3D shape and motion of deformable and articulated objects
purely from uncalibrated 2D image measurements using an
iterati...