11172 search results - page 812 / 2235 » Testing Physical Systems |
204
Voted
TEI
2012
ACM
14 years 3 months ago
2012
ACM
A prevalent assumption behind interface approaches that employ physical means of interaction is that this leverages users’ prior knowledge from the real world. This paper scruti...
236
click to vote
ISSTA
2012
ACM
13 years 10 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
256
click to vote
CF
2004
ACM
16 years 1 months ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
202
click to vote
ICS
2003
Tsinghua U.
16 years 26 days ago
2003
Tsinghua U.
We describe the architecture for a single-chip aegis processor which can be used to build computing systems secure against both physical and software attacks. Our architecture ass...
201
click to vote
AGENTS
2001
Springer
16 years 5 days ago
2001
Springer
In the software industry, designers are forever trying to “improve” their products by adding ever more features to them, producing bloated software systems that are capable of...