851 search results - page 123 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
ICA3PP
2005
Springer
14 years 4 months ago
2005
Springer
Many of the key features of file transfer mechanisms like reliable file transferring and parallel transferring are developed as part of the service. It makes very hard to re-use th...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
The primary purpose of this paper is to describe the theoretical underpinnings of the construct Para-social Presence (PSP). Para-social presence refers to the extent to which a me...
METRICS
2002
IEEE
14 years 3 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
APN
2010
Springer
14 years 3 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
DEBS
2008
ACM
14 years 22 days ago
2008
ACM
We consider a distributed system that disseminates highvolume event streams to many simultaneous monitoring applications over a low-bandwidth network. For bandwidth efficiency, we...