2007 search results - page 298 / 402 » SPECTRUM |
CBMS
2001
IEEE
15 years 1 months ago
2001
IEEE
This paper presents an Internet-Based Medical Archive System, thus called IBMAS. IBMAS is a prototype system of a proposed paradigm of research aiming at building up a distributed...
105
click to vote
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
The purpose of this paper is to provide a broad overview of the WITAS Unmanned Aerial Vehicle Project. The WITAS UAV project is an ambitious, long-term basic research project with ...
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We describe SAFL, a call-by-value first-order functional language which is syntactically restricted so that storage may be statically allocated to fixed locations. Evalua...
FC
1997
Springer
15 years 1 months ago
1997
Springer
Existing software proposals for electronic payments can be divided into "on-line" schemes that require participation of a trusted party (the bank) in every transaction an...
ICFP
1997
ACM
15 years 1 months ago
1997
ACM
An interprocedural flow analysis can justify inlining in higher-order languages. In principle, more inlining can be performed as analysis accuracy improves. This paper compares fo...