1141 search results - page 197 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
199
Voted
DAC
2010
ACM
15 years 9 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
153
click to vote
CODES
2006
IEEE
16 years 6 days ago
2006
IEEE
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteedservi...
133
Voted
FECS
2006
15 years 7 months ago
2006
The College of Engineering and Computer Science at the University of Tennessee at Chattanooga (UTC) requires all undergraduate seniors to participate in a capstone project designe...
167
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...
162
Voted
IUI
1993
ACM
15 years 10 months ago
1993
ACM
incompatibility. We introduce Mona, an operational email system embodying this automatic approach. Mona establishes conversation context independently of user actions through the ...