859 search results - page 18 / 172 » Behaviour Analysis of Distributed Systems Using the Tracta A... |
HIPC
2003
Springer
14 years 26 days ago
2003
Springer
The use of feedback control techniques has been gaining importance in real-time scheduling as a means to provide predictable performance in the face of uncertain workload. In this ...
WOSP
2000
ACM
14 years 12 hour ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
KES
2005
Springer
14 years 1 months ago
2005
Springer
Current techniques for automated composition use a single algorithm, focusing on one aspect of musical generation. In our system we make use of several algorithms, distributed usin...
COMPSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
ACSD
2008
IEEE
13 years 9 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...