1398 search results - page 210 / 280 » Ensuring Properties of Interaction Systems |
167
click to vote
NDSS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
148
Voted
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Lean buffering is the smallest buffer capacity, which is necessary and sufficient to ensure the desired production rate of a manufacturing system. Literature offers methods for des...
209
click to vote
HPDC
2012
IEEE
13 years 8 months ago
2012
IEEE
Hadoop has become a critical component in today’s cloud environment. Ensuring good performance for Hadoop is paramount for the wide-range of applications built on top of it. In ...
189
click to vote
IROS
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract— Man-made real-world environments are dominated by planar surfaces many of which constitute behaviorrelevant entities. Thus, the ability to perceive planar surfaces is v...
207
click to vote
CSCW
2004
ACM
15 years 11 months ago
2004
ACM
Researchers seeking alternatives to traditional desktop computers have begun exploring the potential collaborative benefits of digital tabletop displays. However, there are still ...