Sciweavers

6016 search results - page 771 / 1204
» The semantics of graphical languages
Sort
View
LOGCOM
2007
126views more  LOGCOM 2007»
15 years 7 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones
CAI
1998
Springer
15 years 7 months ago
Information Retrieval, Imaging and Probabilistic Logic
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
Fabrizio Sebastiani
RML
2002
82views Business» more  RML 2002»
15 years 7 months ago
A Nonmonotonic Rule System using Ontologies
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language whic...
Grigoris Antoniou
SP
2002
IEEE
200views Security Privacy» more  SP 2002»
15 years 7 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...
ACMSE
2010
ACM
15 years 5 months ago
Pattern-based synonym and antonym extraction
Many research studies adopt manually selected patterns for semantic relation extraction. However, manually identifying and discovering patterns is time consuming and it is difficu...
Wenbo Wang, Christopher Thomas, Amit P. Sheth, Vic...