17054 search results - page 346 / 3411 » Logics of Dynamical Systems |
197
click to vote
WCFLP
2005
ACM
16 years 1 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
220
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...
171
click to vote
VLDB
1989
ACM
15 years 11 months ago
1989
ACM
Deductive conceptualmodels(DCMs) aim at providing a complete specification of information systems,expressing only its logic component.It hasbeenshownthatDCMs have some advantagesw...
210
Voted
CADE
2010
Springer
15 years 8 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
172
Voted
KBS
2007
15 years 7 months ago
2007
In this paper we study the brokering and matchmaking problem, that is, how a requester’s requirements and preferences can be matched against a set of offerings collected by a bro...