3515 search results - page 414 / 703 » On the semantics of Strategy Logic |
182
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
193
click to vote
ESWS
2004
Springer
16 years 1 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
199
click to vote
PACT
2001
Springer
16 years 1 days ago
2001
Springer
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...
183
click to vote
AMAST
1997
Springer
15 years 11 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
191
click to vote
DBKDA
2009
IEEE
15 years 11 months ago
2009
IEEE
Most database applications are designed according the ANSI/SPARC architecture. When it is used, a large amount of semantics of data may be lost during the transformation from the ...