Sciweavers

1120 search results - page 171 / 224
» C Elements of Style
Sort
View
VAST
2004
ACM
14 years 4 months ago
Digital reconstruction of the Arrigo VII funerary complex
The results of a project aimed to the study, reconstruction and presentation to the public of a monument disassembled and dispersed, the mausoleum of the emperor Arrigo VII, are p...
Clara Baracchini, Antonio Brogi, Marco Callieri, L...
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
14 years 4 months ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
CAISE
2004
Springer
14 years 4 months ago
Ranked Matching for Service Descriptions using DAML-S
Abstract. The vision of Semantic Web services is that computer systems shall find eligible services autonomously. This can be realised with providing semantic description about ad...
Michael C. Jaeger, Stefan Tang
ICFEM
2004
Springer
14 years 4 months ago
Verifying a File System Implementation
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Ma...
AGILEDC
2003
IEEE
14 years 4 months ago
Iteration Advocate/Iteration Transition Meeting: Small Sampling of New agile Techniques Used at a Major Telecommunications Firm
This paper documents a successful implementation of agile at a major telecommunications firm. Critical aspects to mention about this particular software endeavor include a) this c...
Brian S. Boelsterli