Sciweavers

9455 search results - page 1599 / 1891
» The Modelling Language Zinc
Sort
View
DRM
2003
Springer
15 years 12 months ago
Experiences with the enforcement of access rights extracted from ODRL-based digital contracts
In this paper, we present our experiences concerning the enforcement of access rights extracted from ODRL-based digital contracts. We introduce the generalized Contract Schema (Co...
Susanne Guth, Gustaf Neumann, Mark Strembeck
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
15 years 12 months ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
231
Voted
SIGADA
2001
Springer
15 years 11 months ago
Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck
Statement and AbstractProblem Statement and AbstractProblem Statement and AbstractProblem Statement and Abstract The U.S. Navy currently bases the majority of our contact managemen...
Kenneth L. Ehresman, Joey L. Frantzen
ALT
1998
Springer
15 years 11 months ago
Synthesizing Learners Tolerating Computable Noisy Data
An index for an r.e. class of languages (by definition) generates a sequence of grammars defining the class. An index for an indexed family of recursive languages (by definition) ...
John Case, Sanjay Jain
RIDE
1996
IEEE
15 years 11 months ago
A Multidatabase System Implementation on CORBA
METU INteroperable DBMS (MIND) is a multidatabase system based on OMG's distributed object management architecture. It is implemented on top of a CORBA compliant ORB, namely,...
Asuman Dogac, Cevdet Dengi, Ebru Kilic, Gökha...
« Prev « First page 1599 / 1891 Last » Next »