Sciweavers

6174 search results - page 839 / 1235
» The language of social software
Sort
View
HOTOS
1999
IEEE
15 years 11 months ago
Drawing the Red Line in Java
Software-based protection has become a viable alternative to hardware-based protection in systems based on languages such as Java, but the absence of hardware mechanisms for prote...
Godmar Back, Wilson C. Hsieh
ACISP
1998
Springer
15 years 11 months ago
A Solution to Open Standard of PKI
PKI Public Key Infrastructure is fundamental for many security applications on the network. However, there are so many di erent kinds of PKI at current stage and they are not comp...
Qi He, Katia P. Sycara, Zhongmin Su
ICFCA
2007
Springer
15 years 10 months ago
Performances of Galois Sub-hierarchy-building Algorithms
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...
Gabriela Arévalo, Anne Berry, Marianne Huch...
CAISE
1995
Springer
15 years 10 months ago
Process Improvement - The Way Forward
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
M. M. Lehman
170
Voted
TPHOL
2000
IEEE
15 years 10 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison