2834 search results - page 519 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
PCI
2005
Springer
14 years 1 months ago
2005
Springer
Nowadays, the number of protein sequences being stored in central protein databases from labs all over the world is constantly increasing. From these proteins only a fraction has b...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
TPHOL
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
ICECCS
2002
IEEE
14 years 24 days ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
SAC
2009
ACM
14 years 16 days ago
2009
ACM
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its specifics and particularities that re...