672 search results - page 84 / 135 » On the Expressive Power of the Loop Language |
153
click to vote
ICIW
2009
IEEE
16 years 23 days ago
2009
IEEE
IMS Learning Design (IMS LD) is a powerful and expressive educational modeling language, which is becoming a “de facto” encoding and interchange standard for activity-based co...
153
click to vote
LICS
2007
IEEE
16 years 11 days ago
2007
IEEE
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
184
click to vote
TCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
196
click to vote
SEBD
2001
15 years 7 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
170
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...