2192 search results - page 236 / 439 » Embedded function composition |
IFIP
2004
Springer
14 years 4 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
INTELLCOMM
2004
Springer
14 years 4 months ago
2004
Springer
This paper discusses models of generic mobile services. The goal is to gain understanding of the challenges in designing, developing and deploying advanced mobile data services. Fi...
IFL
2003
Springer
14 years 4 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
ISMAR
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper we describe the Augmented Reality (AR) authoring system "PowerSpace" which allows fast and comfortable generation of AR worlds. The system presented uses t...
OHS
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. The task of information integration challenges software engineers on a daily basis. Software artifacts, produced during software development, contain many implicit and ex...