4930 search results - page 628 / 986 » Testing a Safety-Critical Application |
177
Voted
SIGMOD
2002
ACM
15 years 6 months ago
2002
ACM
During 2001, the Enterprise Engineering Laboratory at George Mason University was contracted by the Boeing Company to develop an eHub capability for aerospace suppliers in Taiwan....
165
Voted
TSE
1998
15 years 6 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
179
Voted
ET
2008
15 years 6 months ago
2008
Processor cores embedded in systems-on-a-chip (SoCs) are often deployed in critical computations, and when affected by faults they may produce dramatic effects. When hardware harde...
189
click to vote
PE
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents network traffic measurements from a campus-wide wireless LAN (WLAN), with the data collected using remote passive wireless-side measurement. We used commercia...
146
click to vote
PSYCHNOLOGY
2007
15 years 6 months ago
2007
This paper investigated how people navigate through early Wireless Application Protocol (WAP) sites using their common-sense knowledge of social structures. The study is based on ...