413 search results - page 56 / 83 » A formalism for functionality preserving system level transf... |
ICDIM
2006
IEEE
14 years 1 months ago
2006
IEEE
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
DSN
2002
IEEE
14 years 26 days ago
2002
IEEE
We present ideas on how to structure software systems for high availability by considering MTTR/MTTF characteristics of components in addition to the traditional criteria, such as...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
EDOC
2008
IEEE
14 years 2 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...