8624 search results - page 1368 / 1725 » Designing example-critiquing interaction |
220
click to vote
ICFEM
2003
Springer
16 years 24 days ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
223
click to vote
EICS
2010
ACM
16 years 20 days ago
2010
ACM
Web applications such as web-based email, spreadsheets and form filling applications have become ubiquitous. However, many of the tasks that users try to accomplish with such web ...
223
Voted
RTAS
2002
IEEE
16 years 15 days ago
2002
IEEE
End-to-end predictability of operations is essential for many fixed-priority distributed real-time and embedded (DRE) applications, such as command and control systems, manufactu...
191
Voted
WMTE
2002
IEEE
16 years 15 days ago
2002
IEEE
The use of computer simulations is changing the nature of scientific investigation and providing us unique insights into the way that the world works. As simulation moves from the...
174
Voted
SIGMETRICS
2010
ACM
16 years 12 days ago
2010
ACM
We show that CSMA is able to spontaneously synchronize transmissions in a wireless network with constant-size packets, and that this property can be used to devise efficient synch...