287 search results - page 31 / 58 » A Lightweight Formal Framework for Service-Oriented Applicat... |
SIGMOD
2009
ACM
14 years 8 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
JUCS
2008
13 years 7 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
AIIA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...
FPL
2006
Springer
13 years 11 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...
TASE
2007
IEEE
14 years 2 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...