Sciweavers

5896 search results - page 991 / 1180
» On Learning with Integral Operators
Sort
View
110
Voted
JCS
2002
118views more  JCS 2002»
15 years 3 months ago
Verified Formal Security Models for Multiapplicative Smart Cards
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...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
142
Voted
SCP
1998
138views more  SCP 1998»
15 years 3 months ago
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
Roberto Bagnara
129
Voted
STANDARDVIEW
1998
80views more  STANDARDVIEW 1998»
15 years 3 months ago
An overview of the CORBA portable object adapter
An Object Adapter is an integral part of the Common Object Request Broker Architecture (CORBA). An Object Adapter assists an Object Request Broker (ORB) in delivering client reque...
Irfan Pyarali, Douglas C. Schmidt
107
Voted
TVLSI
1998
83views more  TVLSI 1998»
15 years 3 months ago
Low overhead fault-tolerant FPGA systems
— Fault-tolerance is an important system metric for many operating environments, from automotive to space exploration. The conventional technique for improving system reliability...
John Lach, William H. Mangione-Smith, Miodrag Potk...
123
Voted
VLDB
2002
ACM
166views Database» more  VLDB 2002»
15 years 3 months ago
COMA - A System for Flexible Combination of Schema Matching Approaches
Schema matching is the task of finding semantic correspondences between elements of two schemas. It is needed in many database applications, such as integration of web data source...
Hong Hai Do, Erhard Rahm