2192 search results - page 236 / 439 » Embedded function composition |
104
Voted
IFIP
2004
Springer
15 years 6 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...
101
Voted
INTELLCOMM
2004
Springer
15 years 6 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...
99
Voted
IFL
2003
Springer
15 years 5 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...
73
Voted
ISMAR
2002
IEEE
15 years 5 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...
114
Voted
OHS
2001
Springer
15 years 5 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...