Sciweavers

809 search results - page 18 / 162
» Growing a Build Management System from Seed
Sort
View
FMCO
2007
Springer
103views Formal Methods» more  FMCO 2007»
14 years 2 months ago
Safety Guarantees from Explicit Resource Management
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
David Aspinall, Patrick Maier, Ian Stark
ICDE
2009
IEEE
183views Database» more  ICDE 2009»
13 years 6 months ago
A Decade of XML Data Management: An Industrial Experience Report from Oracle
XML and its related technologies have now been in use for almost a decade. There has been considerable amount of effort both from research and industry focusing on XML, XQuery/XPa...
Zhen Hua Liu, Ravi Murthy
INFSOF
2000
91views more  INFSOF 2000»
13 years 8 months ago
An operational approach to the design of workflow systems
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
Rakesh Agarwal, Giorgio Bruno, Marco Torchiano
ACMDIS
2000
ACM
14 years 1 months ago
The Building Blocks of Experience: An Early Framework for Interaction Designers
Design activity has recently attempted to embrace “designing the user experience.” Designers need to demystify how we design for user experience and how the products we design...
Jodi Forlizzi, Shannon Ford
IISWC
2008
IEEE
14 years 3 months ago
Characterizing and improving the performance of Intel Threading Building Blocks
Abstract— The Intel Threading Building Blocks (TBB) runtime library [1] is a popular C++ parallelization environment [2][3] that offers a set of methods and templates for creatin...
Gilberto Contreras, Margaret Martonosi