2135 search results - page 172 / 427 » An Operational Semantics for JavaScript |
127
Voted
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
158
click to vote
RR
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
148
click to vote
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
102
click to vote
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
—We establish formal bounds for the number of min-entropy bits that can be extracted in a timing attack against a cryptosystem that is protected by blinding, the state-of-the art...