4894 search results - page 201 / 979 » Choices |
188
click to vote
FMCO
2003
Springer
16 years 9 days ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
158
click to vote
LICS
2002
IEEE
16 years 8 hour ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
158
Voted
CIE
2010
Springer
15 years 12 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
203
click to vote
DEBS
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents our experiences with building of the soft state XSiena publish/subscribe system. We provide a brief overview of our approach towards the soft state in publish/...
193
Voted
GECON
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The advent of Grid computing gives enterprises an ever increasing choice of computing options, yet research has so far hardly addressed the problem of mixing the differe...