909 search results - page 112 / 182 » Temporal Logic Case Study |
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
Virtual teams and their leaders are key players in global organisations. Using teams of workers dispersed temporally and geographically has changed the way people work in groups a...
CLEF
2004
Springer
14 years 3 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 ...
HT
1998
ACM
14 years 1 months ago
1998
ACM
We describe a set of tools to support navigational hypermedia linking within audio (‘branching audio’) and between media types including audio. We have adopted an open hyperme...
ASPDAC
2007
ACM
14 years 1 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
CHARME
2001
Springer
14 years 1 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...