1794 search results - page 224 / 359 » GRIDS, Databases, and Information Systems Engineering Resear... |
EXPDB
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents an extensive and detailed experimental evaluation of XQuery processors. The study consists of running five publicly available XQuery benchmarks -- the Michigan...
UIST
2009
ACM
14 years 3 months ago
2009
ACM
We present EverybodyLovesSketch, a gesture-based 3D curve sketching system for rapid ideation and visualization of 3D forms, aimed at a broad audience. We first analyze traditiona...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
The Swiss National Competence Center for Research in mobile Information and Communication Systems (NCCR-MICS or MICS) is one of several research initiatives sponsored by the Swiss...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Ideally, a software project commences with requirements gathering and specification, reaches its major milestone with system implementation and delivery, and then continues, possi...
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...