METAINFORMATICS
2004
Springer
14 years 5 months ago
2004
Springer
Spatial structure supporting applications offer an abstract level of what can be found in the real world. However, in many systems, objects are aligned straight, rotation is not p...
CAISE
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. We examine the properties and use of paper in everyday settings and discuss the motivation for retaining paper as an information medium. In particular, we consider the us...
HT
2004
ACM
14 years 5 months ago
2004
ACM
We propose a new method to find related papers using an input paper and its hyperlinked citation relationships rather than keywords. Such related papers are especially useful as b...
ACMDIS
2004
ACM
14 years 5 months ago
2004
ACM
This paper presents the development of a lightweight component model that allows user to manage the
VSTTE
2005
Springer
14 years 5 months ago
2005
Springer
This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying program...
TARK
2005
Springer
14 years 5 months ago
2005
Springer
Abstract This paper studies the interaction of error and information both in a single-person setting and in an interactive setting. In contrast to Blackwell’s Theorem, which says...
PROFES
2005
Springer
14 years 5 months ago
2005
Springer
This paper addresses the almost never-ending headache the role of documentation has given for software projects. Working software has been given recently a focus over comprehensive...
GEOS
2005
Springer
14 years 5 months ago
2005
Springer
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
EUROCRYPT
2005
Springer
14 years 5 months ago
2005
Springer
In this paper we describe improvements to the techniques used to cryptanalyze SHA-0 and introduce the first results on SHA
ERCIMDL
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. Conference Management constitutes a field in Digital Libraries including tasks such as paper to reviewer assignment and session compilation. These tasks depend on the pa...