26 search results - page 4 / 6 » Falling Back on Executable Specifications |
PERCOM
2011
ACM
12 years 9 months ago
2011
ACM
Abstract—Online social networks such as Facebook, MySpace, and Orkut store large amounts of sensitive user data. While a user can legitimately assume that a social network provid...
BTW
2009
Springer
13 years 10 months ago
2009
Springer
: Cost-based optimizers in relational databases make use of data statistics to estimate intermediate result cardinalities. Those cardinalities are needed to estimate access plan co...
IEEEPACT
2009
IEEE
13 years 3 months ago
2009
IEEE
Abstract--Version management, one of the key design dimensions of Hardware Transactional Memory (HTM) systems, defines where and how transactional modifications are stored. Current...
LOBJET
2006
13 years 5 months ago
2006
ABSTRACT. Aspect-orientation promises better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reu...
ACMICEC
2005
ACM
13 years 7 months ago
2005
ACM
The advance of Internet technology fosters the order fulfillment process in a supply chain across heterogeneous information systems. In order to monitor states between partners in...