1760 search results - page 288 / 352 » The Focus of Requirements Engineering in Workflow Applicatio... |
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
148
click to vote
VLDB
2001
ACM
15 years 10 months ago
2001
ACM
Approximate query processing has emerged as a costeffective approach for dealing with the huge data volumes and stringent response-time requirements of today's decision-suppo...
CBMS
2009
IEEE
15 years 4 months ago
2009
IEEE
Assessment of the (Multi) Similarity among a set of protein structures is achieved through an ensemble of protein structure comparison methods/algorithms. This leads to the genera...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
The development of mobile-based image retrieval system is required for the efficient management about various image data with fast growth of mobile devices. The resource of mobil...
GIS
2009
ACM
15 years 2 months ago
2009
ACM
Harnessing the potential of today’s ever growing and dynamic geospatial data requires the development of novel visual analysis interfaces, tools and technologies. In this paper,...