2940 search results - page 499 / 588 » Relational Parametricity and Control |
163
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
195
click to vote
GECCO
1999
Springer
15 years 10 months ago
1999
Springer
This paper discusses the simulation results of a model of biological development for neural networks based on a regulatory genome. The model’s results are analyzed using the fra...
175
click to vote
MOBICOM
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we introduce universal mobile channels, a le communications abstraction that enables users and service providers to program application-speci c adaptive mobile servi...
168
click to vote
ISPW
1996
IEEE
15 years 9 months ago
1996
IEEE
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
165
click to vote
RTSS
1992
IEEE
15 years 9 months ago
1992
IEEE
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...