1101 search results - page 176 / 221 » Barbed Model-Driven Software Development: A Case Study |
SEKE
2007
Springer
15 years 3 months ago
2007
Springer
Mismatches in QoS (Quality of Service) often appears as a major but implicit hurdle to smooth component integration. This paper presents a solution to the above problem through pr...
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
Ontology-based applications play an increasingly important role in the public and corporate Semantic Web. While today there exist a range of tools and technologies to support speci...
MSR
2006
ACM
15 years 3 months ago
2006
ACM
Revision history provides a rich source of information to improve the understanding of changes made to programs, but it yields only limited insight into how these changes occurred...
MKM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
SSPR
2004
Springer
15 years 3 months ago
2004
Springer
Kernel Methods are a class of algorithms for pattern analysis with a number of convenient features. They can deal in a uniform way with a multitude of data types and can be used to...