4753 search results - page 279 / 951 » Natural Modelling of Interactive Applications |
136
click to vote
RTSS
1997
IEEE
15 years 7 months ago
1997
IEEE
Resource allocation for high-performance real-time applications is challenging due to the applications' data-dependent nature, dynamic changes in their external environment, ...
135
click to vote
APWEB
2005
Springer
15 years 9 months ago
2005
Springer
Flood control for reservoirs require operations in a dynamic and cooperative manner in order to respond to the changing flood control conditions. There is an increasing emphasis on...
150
click to vote
FORTE
1996
15 years 5 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
143
click to vote
ECRTS
2008
IEEE
15 years 10 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
132
click to vote
ECCC
2007
15 years 4 months ago
2007
A central line of research in the area of PCPs is devoted to constructing short PCPs. In this paper, we show that if we allow an additional interactive verification phase, with v...