Sciweavers

65 search results - page 9 / 13
» The Next Big Thing
Sort
View
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
14 years 23 days ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
APPT
2003
Springer
14 years 21 days ago
Multi-scheduler Concurrency Control for Parallel Database Systems
Increase in amount of data stored and requirement of fast response time has motivated the research in Parallel Database Systems (PDS). Requirement for correctness of data still rem...
Sushant Goel, Hema Sharda, David Taniar
LREC
2010
174views Education» more  LREC 2010»
13 years 9 months ago
Towards the Integration of Language Tools Within Historical Digital Libraries
During the last years the campaign of mass digitization made available catalogues and valuable rare manuscripts and old printed books vie the Internet. The Manuscriptorium digital...
Cristina Vertan
MKWI
2008
160views Business» more  MKWI 2008»
13 years 9 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...
ATMOS
2010
130views Optimization» more  ATMOS 2010»
13 years 6 months ago
Fast Detour Computation for Ride Sharing
Today’s ride sharing services still mimic a better billboard. They list the offers and allow to search for the source and target city, sometimes enriched with radial search. So...
Robert Geisberger, Dennis Luxen, Sabine Neubauer, ...