537 search results - page 45 / 108 » Extended directed triple systems |
JCS
2002
13 years 9 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
FGCS
2006
13 years 10 months ago
2006
Tw o parallel programming models represented b y OpenMP and MPI are compared for PDE solvers based on regular sparse numerical operators. As a typical representative of such an app...
PEPM
2007
ACM
14 years 4 months ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—Recently, the turbo-detected Sphere Packing (SP) aided Space-Time Block-Coding (STBC) STBC-SP scheme was demonstrated to provide useful performance improvements over conventiona...
SAC
2003
ACM
14 years 3 months ago
2003
ACM
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...