CASCON
2007
13 years 9 months ago
2007
Reaching project goals demands from team members the creation and communication of detailed and vastly heterogeneous project information. Although no team member needs to know ...
CASCON
2007
13 years 9 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
CASCON
2007
13 years 9 months ago
2007
CASCON
2007
13 years 9 months ago
2007
Information obtained by merging data extracted from problem reporting systems – such as Bugzilla – and versioning systems – such as Concurrent Version System (CVS) – is wi...
CASCON
2007
13 years 9 months ago
2007
Collaborative work on unstructured or semistructured documents, such as in literature corpora or source code, often involves agreed upon templates containing metadata. These templ...
CASCON
2007
13 years 9 months ago
2007
As online communities proliferate, methods are needed to explore and capture patterns of activity within them. This paper focuses on the problem of identifying active subgroups wi...
CASCON
2007
13 years 9 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
CASCON
2007
13 years 9 months ago
2007
Two soft keyboard layouts were evaluated for entry speed using paper mockups and hand timing. Twelve participants used a stylus to tap the well-known “quick brown fox” phrase ...
ERCIMDL
2008
Springer
13 years 9 months ago
2008
Springer
ERCIMDL
2008
Springer
13 years 9 months ago
2008
Springer
We detail the design of a search engine for archival finding aids based on an XML database system. The resulting system shows results--which can vary in granularity from individual...