Sciweavers

3320 search results - page 584 / 664
» Accessibility of the Database Literature
Sort
View
DSVIS
2005
Springer
15 years 12 months ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Maurice H. ter Beek, Mieke Massink, Diego Latella
ICWE
2005
Springer
15 years 12 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
ISMIR
2005
Springer
172views Music» more  ISMIR 2005»
15 years 12 months ago
Preservation Digitization of David Edelberg's Handel LP Collection: A Pilot Project
Although analogue phonograph recordings (LPs) have long shelf lives, there are many reasons for initiating research into proper procedures for their digital preservation. In order...
Catherine Lai, Beinan Li, Ichiro Fujinaga
PERVASIVE
2005
Springer
15 years 12 months ago
Place Lab: Device Positioning Using Radio Beacons in the Wild
Location awareness is an important capability for mobile computing. Yet inexpensive, pervasive positioning—a requirement for wide-scale adoption of location-aware computing—has...
Anthony LaMarca, Yatin Chawathe, Sunny Consolvo, J...
WEBDB
2005
Springer
83views Database» more  WEBDB 2005»
15 years 11 months ago
Indexing for XML Siblings
Efficient querying XML documents is an increasingly important issue considering the fact that XML becomes the de facto standard for data representation and exchange over the Web,...
SungRan Cho