3689 search results - page 297 / 738 » A Language with Distributed Scope |
108
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
124
click to vote
CD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper addresses the distribution and the deployment of hierarchical components on heterogeneous dynamic networks. Such networks may include fixed and mobile resourc...
133
Voted
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe the use of the Ada language for programming in modern cluster systems. The results of experimental performance analysis of Ada and Java programs in a re...
131
click to vote
DISCEX
2003
IEEE
15 years 10 months ago
2003
IEEE
The RT Role-based Trust-management framework provides policy language, semantics, deduction engine, and pragmatic features such as application domain specification documents that...
112
Voted
ICALP
1999
Springer
15 years 9 months ago
1999
Springer
We demonstrate an ⍀( pn1ϩ1/p) lower bound on the average-case running time (uniform distribution) of p-pass Shellsort. This is the first nontrivial general lower bound for avera...