Sciweavers

1412 search results - page 112 / 283
» An Architecture Description Language for Mobile Distributed ...
Sort
View
IUI
2003
ACM
15 years 6 months ago
Presenting route instructions on mobile devices
In this paper, we evaluate several means of presenting route instructions to a mobile user. Starting from an abstract languageindependent description of a route segment, we show h...
Christian Kray, Christian Elting, Katri Laakso, Vo...
ICCL
1992
IEEE
15 years 5 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg
MSWIM
2005
ACM
15 years 7 months ago
YAES: a modular simulator for mobile networks
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
Ladislau Bölöni, Damla Turgut
72
Voted
C++
1990
64views more  C++ 1990»
15 years 2 months ago
Reliable Distributed Programming in C++: The Arjuna Approach
Programming in a distributed system is fraught with potential difficulties caused, in part, by the physical distribution of the system itself. By making the distribution of the sy...
Graham D. Parrington
SAINT
2003
IEEE
15 years 6 months ago
Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony
The Call Processing Language (CPL in short, RFC2824) is an XML-based language, which provides a flexible mean to create end-user services in the Internet Telephony (VoIP). Howeve...
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Ma...