1027 search results - page 149 / 206 » Representing and Reasoning with Operational Semantics |
116
click to vote
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
95
Voted
EKAW
2008
Springer
15 years 2 months ago
2008
Springer
Sensor-mission assignment involves the allocation of sensor and other information-providing resources to missions in order to cover the information needs of the individual tasks in...
91
Voted
COLING
2002
15 years 13 days ago
2002
A bilingual concept MRD is of significance for IE, MT, WSD and the like. However, it is reasonably difficult to build such a lexicon for there exist two ontologies, also, the evol...
96
Voted
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL data sources. In order to effectively and quickly answer queries in such an environment, we present...
101
click to vote
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
Graphs are powerful data structures that have many attractive properties for object representation. However, some basic operations are difficult to define and implement, for ins...