Sciweavers

2935 search results - page 492 / 587
» An Integrated Approach to High Integrity Software Verificati...
Sort
View
VLDB
1991
ACM
185views Database» more  VLDB 1991»
15 years 9 months ago
Experimental Evaluation of Real-Time Optimistic Concurrency Control Schemes
Due to its potential for a high degree of parallelism, optimistic concurrency control is expected to perform better than two-phase locking when integrated with priority-driven CPU...
Jiandong Huang, John A. Stankovic, Krithi Ramamrit...
DCC
2009
IEEE
15 years 9 months ago
Out-of-Core Progressive Lossless Compression and Selective Decompression of Large Triangle Meshes
In this paper we propose a novel out-of-core technique for progressive lossless compression and selective decompression of 3D triangle meshes larger than main memory. Most existin...
Zhiyan Du, Pavel Jaromersky, Yi-Jen Chiang, Nasir ...
ATAL
2008
Springer
15 years 7 months ago
Using SOA Provenance to Implement Norm Enforcement in e-Institutions
In the last 10 years several approaches and technologies other than MAS (such as Web services and Grid computing) have emerged, with the support of the industry, providing their o...
Javier Vázquez-Salceda, Sergio Álvar...
MKWI
2008
160views Business» more  MKWI 2008»
15 years 7 months ago
Architectural Design of Flexible Process Management Technology
: To provide effective support, process-aware information systems (PAIS) must not freeze existing business processes. Instead they should enable authorized users to deviate on-the-...
Manfred Reichert, Peter Dadam, Martin Jurisch, Ulr...
DAGM
2009
Springer
15 years 7 months ago
Realistic Depth Blur for Images with Range Data
Abstract. We present a system that allows for changing the major camera parameters after the acquisition of an image. Using the high dynamic range composition technique and additio...
Benjamin Huhle, Timo Schairer, Philipp Jenke, Wolf...