2432 search results - page 199 / 487 » Cryptographic logical relations |
150
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
150
click to vote
ISEMANTICS
2010
15 years 7 months ago
2010
This paper gives an account of how traditional metadata application profiles are related to Web ontologies and Description Logics. It is shown that metadata profiles can be formal...
210
click to vote
SPLC
2007
15 years 7 months ago
2007
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...
138
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
179
click to vote
JAIR
2007
15 years 5 months ago
2007
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...