57 search results - page 12 / 12 » Automating Side Conditions in Formalized Partial Functions |
LICS
2009
IEEE
13 years 12 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
CORR
2010
Springer
13 years 5 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...