12334 search results - page 180 / 2467 » The Use of C |
121
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
115
click to vote
DEON
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificato...
138
click to vote
AMC
2006
15 years 4 months ago
2006
The fast implementation of elliptic curve cryptosystems relies on the efficient computation of scalar multiplication. Based on the double-base chain representation of scalar using...
205
click to vote
IJAMC
2008
15 years 4 months ago
2008
: This paper investigates the use of chat by Greek students. An appropriate questionnaire was developed. Among others, the questions attempted to identify the users' preferenc...
179
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
We describe the design and implementation of a high performance cloud that we have used to archive, analyze and mine large distributed data sets. By a cloud, we mean an infrastruc...