8621 search results - page 1336 / 1725 » Interaction Design |
195
Voted
ICFEM
2003
Springer
16 years 2 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...
206
click to vote
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...
167
click to vote
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...
159
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...
187
click to vote
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper, we show that Web protocols and technologies are good candidates to design the Internet of Things, through a user-centric architecture (the user simply has to use ...