1975 search results - page 136 / 395 » Property analysis and design understanding |
324
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
The field of HCI is growing, not only in the variety of application areas or the volume of research conducted, but also in the number of analytical approaches for use in the evalu...
191
Voted
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
169
click to vote
ECSCW
2001
15 years 8 months ago
2001
This paper compares the properties of physical and digital workspaces in the context of a prototype of a collaborative virtual environment that has been developed with reference to...
169
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— While the practical coding scheme [1] has been shown to be able to improve throughput of wireless networks, there still lacks fundamental understanding on how the coding scheme...
189
Voted
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
—Understanding outage and failure characteristics of a network is important to assess the availability of the network, determine failure source for trouble-shooting, and identify...