Sciweavers

3557 search results - page 61 / 712
» Authoring Presentation for OpenMath
Sort
View
JCS
2002
132views more  JCS 2002»
15 years 5 months ago
Checking Secure Interactions of Smart Card Applets: Extended Version
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-...
MOC
2002
132views more  MOC 2002»
15 years 5 months ago
Comparison of algorithms to calculate quadratic irregularity of prime numbers
In previous work, the author has extended the concept of regular and irregular primes to the setting of arbitrary totally real number fields k0, using the values of the zeta functi...
Joshua Holden
MTA
2002
103views more  MTA 2002»
15 years 5 months ago
STEPS: Supporting Traditional Education Procedures-A TCP/IP Multimedia Networks-Based Model
This paper describes an integrated model for the realization of an Open and Distance Learning (ODL) environment supporting traditional learning procedures, through collaborative le...
Christos Bouras, Petros Lampsas, Paul G. Spirakis
SP
2002
IEEE
200views Security Privacy» more  SP 2002»
15 years 5 months ago
Design of a Role-Based Trust-Management Framework
We introduce the RT framework, a family of Rolebased Trust-management languages for representing policies and credentials in distributed authorization. RT combines the strengths o...
Ninghui Li, John C. Mitchell, William H. Winsborou...
PVLDB
2008
118views more  PVLDB 2008»
15 years 5 months ago
Column-store support for RDF data management: not all swans are white
This paper reports on the results of an independent evaluation of the techniques presented in the VLDB 2007 paper "Scalable Semantic Web Data Management Using Vertical Partit...
Lefteris Sidirourgos, Romulo Goncalves, Martin L. ...