Sciweavers

1533 search results - page 270 / 307
» Semantic Matching: Algorithms and Implementation
Sort
View
PLDI
2010
ACM
14 years 23 days ago
Mixing type checking and symbolic execution
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Fos...
ICDE
1997
IEEE
136views Database» more  ICDE 1997»
14 years 9 months ago
Delegation: Efficiently Rewriting History
Transaction delegation, as introduced in ACTA, allows a transaction to transfer responsibility for the operations that it has performed on an object to another transaction. Delega...
Cris Pedregal Martin, Krithi Ramamritham
WWW
2001
ACM
14 years 8 months ago
Map adaptation for users of mobile systems
Display characteristics, network Quality of Service, and the user's current task all exhibit a wide range of variation when users interact with mobile and ubiquitous devices....
Dan Chalmers, Morris Sloman, Naranker Dulay
SIGMOD
2005
ACM
162views Database» more  SIGMOD 2005»
14 years 7 months ago
Clio grows up: from research prototype to industrial tool
Clio, the IBM Research system for expressing declarative schema mappings, has progressed in the past few years from a research prototype into a technology that is behind some of I...
Laura M. Haas, Mauricio A. Hernández, Howar...
ICSE
2007
IEEE-ACM
14 years 7 months ago
Regression Test Selection for AspectJ Software
As aspect-oriented software development gains popularity, there is growing interest in using aspects to implement cross-cutting concerns in object-oriented systems. When aspect-or...
Guoqing Xu, Atanas Rountev