4320 search results - page 819 / 864 » Functional Objects |
APLAS
2006
ACM
14 years 4 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
ICWE
2010
Springer
14 years 2 months ago
2010
Springer
: AWAIT: Efficient Overload Management for Busy Multi-tier Web Services under Bursty Workloads Lei Lu, Ludmila Cherkasova, Vittoria de Nitto Persone, Ningfang Mi, Evgenia Smirn...
ICDE
2010
IEEE
14 years 2 months ago
2010
IEEE
Extract-Transform-Load (ETL) processes play an important role in data warehousing. Typically, design work on ETL has focused on performance as the sole metric to make sure that the...
NAR
2007
13 years 9 months ago
2007
Protein interaction data exists in a number of repositories. Each repository has its own data format, molecule identifier and supplementary information. Michigan Molecular Interac...
SACMAT
2005
ACM
14 years 3 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...