Sciweavers

578 search results - page 46 / 116
» Deriving Semantic Models from Privacy Policies
Sort
View
JTAER
2008
175views more  JTAER 2008»
13 years 8 months ago
A Core Component-based Modelling Approach for Achieving e-Business Semantics Interoperability
The adoption of advanced integration technologies that enable private and public organizations to seamlessly execute their business transactions electronically is still relatively...
Till Janner, Fenareti Lampathaki, Volker Hoyer, Sp...
VMCAI
2004
Springer
14 years 2 months ago
Construction of a Semantic Model for a Typed Assembly Language
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao...
DEXAW
2009
IEEE
139views Database» more  DEXAW 2009»
14 years 3 months ago
Improving Web Page Retrieval Using Search Context from Clicked Domain Names
Abstract—Search context is a crucial factor that helps to understand a user’s information need in ad-hoc Web page retrieval. A query log of a search engine contains rich inform...
Rongmei Li
ICLP
1995
Springer
14 years 10 days ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
ISIPTA
2005
IEEE
143views Mathematics» more  ISIPTA 2005»
14 years 2 months ago
A Granular Semantics for Fuzzy Measures and its Application to Climate Change Scenarios
A granular based semantics for fuzzy measures is introduced in which the measure of a set of propositions approximates the probability of the disjunction of these propositions. Th...
Jonathan Lawry, Jim Hall, Guangtao Fu