3468 search results - page 488 / 694 » An open logical framework |
114
Voted
APAL
2007
15 years 3 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ā...
153
Voted
CORR
2010
Springer
15 years 3 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...
177
Voted
RV
2009
Springer
15 years 8 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...
172
Voted
AOSD
2011
ACM
14 years 7 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...
141
Voted
ECAI
2008
Springer
15 years 5 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...