1761 search results - page 70 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
EACL
2003
ACL Anthology
13 years 10 months ago
2003
ACL Anthology
Previous work on the induction of selectional preferences has been mainly carried out for English and has concentrated almost exclusively on verbs and their direct objects. In thi...
GECCO
2000
Springer
14 years 19 days ago
2000
Springer
Optimization of the control parameters of genetic algorithms is often a time consuming and tedious task. In this work we take the meta-level genetic algorithm approach to control ...
RTSS
1996
IEEE
14 years 1 months ago
1996
IEEE
W e investigate here the performance implications of supporting transaction atomicity in a distributed realtime database system. Using a detailed simulation model of a firm-deadli...
ICDE
1999
IEEE
14 years 10 months ago
1999
IEEE
Most operations of the relational algebra or SQL require a sorted stream of tuples for efficient processing. Therefore, processing complex relational queries relies on efficient a...
ENTCS
2007
13 years 9 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...