899 search results - page 131 / 180 » A Temporal Language for SystemC |
116
click to vote
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
125
click to vote
PRDC
2005
IEEE
15 years 7 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
127
click to vote
DSVIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
104
click to vote
MLMI
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we present a multimodal discourse ontology that serves as a knowledge representation and annotation framework for the discourse understanding component of an artifi...
100
click to vote
CLEF
2004
Springer
15 years 6 months ago
2004
Springer
A Pilot Question Answering Task has been activated in the Cross-Language Evaluation Forum 2004 with a twofold objective. In the first place, the evaluation of Question Answering ...