3468 search results - page 488 / 694 » An open logical framework |
APAL
2007
13 years 10 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentā...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
RV
2009
Springer
14 years 2 months ago
2009
Springer
Monitoring of softwareās execution is crucial in numerous software development tasks. Current monitoring eļ¬orts generally require extensive instrumentation of the software or d...
AOSD
2011
ACM
13 years 1 months ago
2011
ACM
Object-oriented frameworks support design and code reuse for speciļ¬c application domains. To facilitate the development of evolutionary computation (EC) programs, such as geneti...
ECAI
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. We study privacy guarantees for the owner of an information system who wants to share some of the information in the system with clients while keeping some other informat...