3689 search results - page 622 / 738 » A Language with Distributed Scope |
149
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
159
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
The power of Web Service (WS) technology lies in the fact that it establishes a common, vendor-neutral platform for integrating distributed computing applications, in intranets as ...
167
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
135
click to vote
FATES
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
146
click to vote
HUC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...