8624 search results - page 1368 / 1725 » Designing example-critiquing interaction |
191
click to vote
ICFEM
2003
Springer
15 years 12 months 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...
195
click to vote
EICS
2010
ACM
15 years 12 months 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 ...
197
Voted
RTAS
2002
IEEE
15 years 11 months 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...
161
Voted
WMTE
2002
IEEE
15 years 11 months 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...
155
click to vote
SIGMETRICS
2010
ACM
15 years 11 months 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...