5550 search results - page 156 / 1110 » Different Approaches to Proof Systems |
165
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
268
click to vote
COLCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
With the widespread adoption of XML as the message format to disseminate content over distributed systems including Web Services and Publish-Subscribe systems, different methods ha...
176
click to vote
JSW
2007
15 years 6 months ago
2007
Abstract— In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered...
174
click to vote
CICLING
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a linguistically-motivated sub-sentential alignment system that extends the intersected IBM Model 4 word alignments. The alignment system is chunk-driven and r...
168
click to vote
ACMICEC
2006
ACM
16 years 13 days ago
2006
ACM
In this paper we have introduced a methodology to rank the available products in the Internet market. These rankings are based on the customers’ own preferences and also on the ...