10038 search results - page 1612 / 2008 » Model Checking for Managers |
187
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
181
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Executing parallel applications across distributed networks introduces the problem of fault tolerance. A viable solution for fault tolerance must keep overhead manageable and not c...
187
Voted
SIGIR
1998
ACM
15 years 10 months ago
1998
ACM
Extraction of phrasal knowledge, such as proper names, domain-specific keyphrases and lexical templates from a domain-specific text collection are significant for developing effec...
177
click to vote
ISW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Signcryption is a public-key cryptographic primitive introduced by Zheng, which achieves both message confidentiality and nonrepudiatable origin authenticity, at a lower ...
163
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...