1895 search results - page 332 / 379 » Using ATL for Checking Models |
111
Voted
ISCI
2008
15 years 17 days ago
2008
Directed signature scheme allows only a designated verifier to check the validity of the signature issued to him; and at the time of trouble or if necessary, any third party can v...
105
Voted
DEDS
2007
15 years 16 days ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
92
Voted
PR
2008
15 years 15 days ago
2008
Prototype selection problem consists of reducing the size of databases by removing samples that are considered noisy or not influential on nearest neighbour classification tasks. ...
111
Voted
CI
1999
15 years 7 days ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
116
click to vote
SIMULATION
1998
15 years 6 days ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...