1803 search results - page 55 / 361 » Architectural framework for supporting operating system surv... |
JWSR
2007
15 years 1 months ago
2007
: Service discovery has been recognised as an important aspect in the development of service centric systems, i.e., software systems which deploy web services. To develop such syst...
119
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
112
click to vote
HOTOS
1999
IEEE
15 years 5 months ago
1999
IEEE
In this position paper we motivate and describe the Congestion Manager (CM), a novel end-system architecture, which enables application adaptation to network congestion. The CM ma...
121
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
The proliferation of IT and its consequent dispersion is an enterprise reality, however, most organizations do not have adequate tools and/or methodologies that enable the managem...
111
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...