2637 search results - page 254 / 528 » Tool Supported Specification and Simulation of Distributed S... |
177
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
Applications for computer supported cooperative work can gain from component models and frameworks. The framework for "questionnaires", which is described in this paper,...
191
click to vote
QEST
2005
IEEE
16 years 5 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
179
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Characterizing shared-memory applications provides insight to design efficient systems, and provides awareness to identify and correct application performance bottlenecks. Configu...
291
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
154
click to vote
LREC
2008
15 years 8 months ago
2008
Despite of the importance of lexical resources for a number of NLP applications (Machine Translation, Information Extraction, Event Detection and Tracking, Question Answering, amo...