1742 search results - page 24 / 349 » An Applicative Module Calculus |
TIME
1997
IEEE
14 years 2 months ago
1997
IEEE
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, allows the derivation of the maximal validity intervals (MVIs) o...
LICS
2012
IEEE
12 years 15 days ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents an approach for the integration of reconfigurable hardware and computer applications based on the concept of ubiquitous computing. The goal is to allow a netwo...
DELTA
2002
IEEE
14 years 3 months ago
2002
IEEE
A flexible software based platform for number plate recognitions applications is described. It breaks the processing into several explicit modules, with the implementation for eac...
BIS
2006
13 years 11 months ago
2006
This paper discusses the applicability of a process algebra, the -calculus, as a formal foundation for Business Process Management (BPM). We therefore investigate the -calculus fro...