641 search results - page 78 / 129 » Modernizing Plan-Composition Studies |
WACV
2002
IEEE
15 years 6 months ago
2002
IEEE
Modern space research uses both satellite-born and ground-based instruments to measure the near-Earth space environment. Studying the auroral display provides information of the e...
117
Voted
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
Modern distributed industrial control systems need improvements in their dependability. In this paper we study the dependability of a fault tolerant distributed industrial control ...
120
click to vote
FOCS
1997
IEEE
15 years 5 months ago
1997
IEEE
A central issue in the design of modern communication networks is that of providing performance guarantees. This issue is particularly important if the networks support real-time t...
122
click to vote
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
104
click to vote
CHI
1997
ACM
15 years 5 months ago
1997
ACM
Most windowing systems follow the independent overlapping windows approach, which emerged as an answer to the needs of the 1980s’ technology. Due to advances in computers and di...