1682 search results - page 69 / 337 » Techniques for Automating Distributed Real-Time Applications... |
OPODIS
2008
15 years 1 months ago
2008
We focus on automated revision techniques for adding Unity properties to distributed programs. We show that unlike centralized programs, where multiple safety properties along with...
ICECCS
2002
IEEE
15 years 4 months ago
2002
IEEE
Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techni...
KES
2005
Springer
15 years 5 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...
112
click to vote
COMSWARE
2007
IEEE
15 years 6 months ago
2007
IEEE
1 As distributed systems scale up and are deployed into increasingly sensitive settings, demand is rising for a new generation of communications middleware in support of applicati...
JSA
1998
14 years 11 months ago
1998
In this paper, we present a network conscious approach to designing distributed real-time systems. Given a task graph design of the system, the end-to-end constraints on the input...