68 search results - page 13 / 14 » er 1999 |
157
click to vote
ESEC
1999
Springer
15 years 10 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
125
click to vote
KIVS
1999
Springer
15 years 10 months ago
1999
Springer
Heute bietet das Internet nicht nur für Großunternehmen sondern auch für kleine Unternehmen Möglichkeiten zur automatisierten Kooperation. Im Bereich des Business-to-Business-...
174
click to vote
PEPM
1999
ACM
15 years 10 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
176
click to vote
SIGADA
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
173
click to vote
WADT
1999
Springer
15 years 10 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...