1168 search results - page 123 / 234 » cases 2000 |
145
click to vote
INFORMATICALT
2000
15 years 4 months ago
2000
Growing popularity of the mobile code requires to consider various aspects related to its security. In the aviation industry there is a case when additional information needs to be...
159
click to vote
INFSOF
2000
15 years 4 months ago
2000
Developing software engineering tools is a difficult task, and the environments in which these tools are deployed continually evolve as software developers' processes, tools ...
131
Voted
JAR
2000
15 years 4 months ago
2000
A lot of methods have been proposed -- and sometimes implemented -- for proof search in the propositional modal logics K, KT, and S4. It is difficult to compare the usefulness of ...
145
click to vote
JC
2000
15 years 4 months ago
2000
This paper provides verification procedures for a number of decision problems in quadratic function fields of odd characteristic, thereby establishing membership of these problems...
141
Voted
JCB
2000
15 years 4 months ago
2000
A new method for detecting remote protein homologies is introduced and shown to perform well in classifying protein domains by SCOP superfamily. The method is a variant of support...