5790 search results - page 678 / 1158 » Distributed programming with distributed authorization |
135
click to vote
HOTOS
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
129
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
147
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we tackle the problem of designing and implementing a framework for programming service coordination policies. In particular, we illustrate the design and t...
140
click to vote
IJCAI
2007
15 years 5 months ago
2007
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
123
click to vote
IC
2003
15 years 5 months ago
2003
We describe the design and features of our Grid Computing Environments Shell system, or GCEShell. We view computing Grids as providing essentially a globally scalable distributed ...