2091 search results - page 296 / 419 » Modelling adaptive services for distributed systems |
156
click to vote
RTCSA
2005
IEEE
15 years 9 months ago
2005
IEEE
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
124
click to vote
IM
2007
15 years 5 months ago
2007
A widely-distributed network monitoring system requires a scalable discovery mechanism. The “Lookup Service” component of the perfSONAR framework is able to manage component r...
195
click to vote
TGC
2010
Springer
15 years 1 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
141
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
143
click to vote
POPL
2005
ACM
15 years 9 months ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...