3971 search results - page 432 / 795 » On the Use of Properties in Java Applications |
213
click to vote
MMM
2006
Springer
16 years 27 days ago
2006
Springer
MPEG-7 is an excellent choice for the description of audiovisual content due to its flexibility and comprehensiveness. The drawback is that these properties also increase the comp...
181
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
191
click to vote
LWA
2004
15 years 8 months ago
2004
Subgroup discovery can be applied for exploration or descriptive induction in order to discover "interesting" subgroups of the general population, given a certain proper...
176
click to vote
ENTCS
2006
15 years 6 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
190
click to vote
JMLR
2008
15 years 6 months ago
2008
Closed sets have been proven successful in the context of compacted data representation for association rule learning. However, their use is mainly descriptive, dealing only with ...