2451 search results - page 62 / 491 » The Octagon Abstract Domain |
179
click to vote
BALT
2010
15 years 1 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
211
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Web software development is one of the most active areas and fastest growing industries in software and services development in Europe, and, in particular, Java Enterprise Edition ...
153
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Modern morphometric studies use non-linear image registration to compare anatomies and perform group analysis. Recently, logEuclidean approaches have contributed to promo...
162
click to vote
ICC
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract—The inter-domain Resource Exchange (iREX) architecture uses economic market mechanisms to automate the deployment of end-to-end (E2E) inter-domain (ID) quality of servic...
163
click to vote
ICC
2007
IEEE
16 years 19 days ago
2007
IEEE
Abstract— Measurements have shown that network path failures occur frequently in the Internet and physical link failures can cause network instability in large scale and severity...