4302 search results - page 169 / 861 » Ambiguity as a resource for design |
196
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
One of the greatest challenges in computational chemistry is the design of enzymes to catalyze non-natural chemical reactions. We focus on harnessing the distributed parallel comp...
137
click to vote
CSSE
2008
IEEE
16 years 28 days ago
2008
IEEE
—IMS Learning Design (LD) has emerged as one of the most significant developments in education technology recently. As focusing on learning processes and activities in E-learning...
182
click to vote
IPPS
2008
IEEE
16 years 26 days ago
2008
IEEE
Design templates that involve discovery, analysis, and integration of information resources commonly occur in many scientific research projects. In this paper we present examples o...
144
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
183
click to vote
APAQS
2000
IEEE
15 years 11 months ago
2000
IEEE
Estimating different characteristics viz., size, cost, etc. of sofrware during different phases of software development is required to manage the resources effectively. Function p...