Sciweavers

3088 search results - page 529 / 618
» A Teleradiology System Design Case
Sort
View
SAC
2005
ACM
15 years 12 months ago
Where web engineering tool support ends: building usable websites
In this paper, two of the currently available Web Engineering solutions (UWE and OO-H) are analysed with regard to the question whether websites created with them and their tools ...
Richard Atterer
SMA
2005
ACM
104views Solid Modeling» more  SMA 2005»
15 years 12 months ago
Packing a trunk: now with a twist!
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
Friedrich Eisenbrand, Stefan Funke, Andreas Karren...
CAV
2005
Springer
127views Hardware» more  CAV 2005»
15 years 12 months ago
Incremental and Complete Bounded Model Checking for Full PLTL
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
Keijo Heljanko, Tommi A. Junttila, Timo Latvala
EGC
2005
Springer
15 years 12 months ago
XDTM: The XML Data Type and Mapping for Specifying Datasets
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
Luc Moreau, Yong Zhao, Ian T. Foster, Jens-S. V&ou...
ESAS
2005
Springer
15 years 12 months ago
Spontaneous Cooperation in Multi-domain Sensor Networks
Sensor networks are large scale networks consisting of several nodes and some base stations. The nodes are monitoring the environment and send their measurement data towards the ba...
Levente Buttyán, Tamás Holczer, P&ea...