3710 search results - page 45 / 742 » A new calculus of contexts |
UC
2007
Springer
15 years 6 months ago
2007
Springer
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
118
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
The recent popularity of mobile camera phones allows for new opportunities to gather important metadata at the point of capture. This paper describes a method for generating metad...
111
click to vote
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
105
click to vote
SEFM
2007
IEEE
15 years 6 months ago
2007
IEEE
Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particula...
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...