Sciweavers

3745 search results - page 413 / 749
» Sonic: System Description
Sort
View
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 11 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
ISORC
2000
IEEE
15 years 11 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner
EDBT
2009
ACM
158views Database» more  EDBT 2009»
15 years 10 months ago
An approach to detecting relevant updates to cached data using XML and active databases
Client/server information systems use caching techniques to reduce the volume of transmitted data as well as response time and, especially in the case of systems with mobile clien...
Essam Mansour, Hagen Höpfner
CLEF
2008
Springer
15 years 8 months ago
Overview of the Answer Validation Exercise 2008
The Answer Validation Exercise at the Cross Language Evaluation Forum (CLEF) is aimed at developing systems able to decide whether the answer of a Question Answering (QA) system i...
Álvaro Rodrigo, Anselmo Peñas, Felis...
DAGSTUHL
2006
15 years 8 months ago
A Model-Based Approach To Requirements Analysis
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...
Bernhard Schätz, Eva Geisberger, Johannes Gr&...