132 search results - page 10 / 27 » An empirical evaluation of undo mechanisms |
POPL
2012
ACM
12 years 4 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
CSREAESA
2010
13 years 6 months ago
2010
Component-based operating systems enable embedded systems to adapt system policies, mechanisms, and abstractions to the specific workloads and contexts of each system. The scope o...
EDOC
2004
IEEE
14 years 5 days ago
2004
IEEE
This paper presents three contributions to research on middleware load balancing. First, it describes the design of Cygnus, which is an extensible open-source middleware framework...
BMCBI
2007
13 years 8 months ago
2007
Background: The definition of a distance measure plays a key role in the evaluation of different clustering solutions of gene expression profiles. In this empirical study we compa...
TVCG
2008
13 years 8 months ago
2008
Databases often contain uncertain and imprecise references to real-world entities. Entity resolution, which is the process of reconciling multiple references to underlying real-wor...