1005 search results - page 103 / 201 » Software Localization: Issues and Methods |
126
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
228
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Ontology matching, aiming to obtain semantic correspondences between two ontologies, has played a key role in data exchange, data integration and metadata management. Among numero...
158
click to vote
HUMO
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Learned, activity-specific motion models are useful for human pose and motion estimation. Nevertheless, while the use of activityspecific models simplifies monocular t...
120
click to vote
SIGSOFT
1998
ACM
15 years 7 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
128
click to vote
CASES
2001
ACM
15 years 6 months ago
2001
ACM
With the widening performance gap between processors and main memory, efficient memory accessing behavior is necessary for good program performance. Loop partition is an effective...