3719 search results - page 393 / 744 » Pellet System Description |
214
click to vote
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
226
click to vote
HICSS
2000
IEEE
16 years 1 days ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
216
click to vote
ISORC
2000
IEEE
16 years 8 hour ago
2000
IEEE
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...
197
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
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...
194
click to vote
CLEF
2008
Springer
15 years 9 months ago
2008
Springer
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...