199 search results - page 15 / 40 » The Case for Enhanced Abstract Data Types |
IJCAI
1993
13 years 8 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
IEEESP
2006
13 years 7 months ago
2006
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...
BIBE
2004
IEEE
13 years 11 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
APSEC
2005
IEEE
14 years 29 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
PR
2006
13 years 7 months ago
2006
All of the prototype reduction schemes (PRS) which have been reported in the literature, process time-invariant data to yield a subset of prototypes that are useful in nearest-nei...