1686 search results - page 272 / 338 » Artful systems in the home |
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
We analyze the version history of 7 software systems to predict the most fault prone entities and files. The basic assumption is that faults do not occur in isolation, but rather ...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
TEI
2010
ACM
14 years 5 months ago
2010
ACM
In this paper we inquire material qualities for tangible user interfaces and introduce the term “ephemeral user interface”. We present an example user interface that employs f...
ICFP
2009
ACM
14 years 4 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—A growing number of mobile WiMAX deployments are in progress world-wide and the technology is anticipated to play a key role in next generation mobile broadband wireless network...