1585 search results - page 95 / 317 » A framework for computer-aided validation |
124
click to vote
PSYCHNOLOGY
2010
15 years 1 months ago
2010
The concept of self-presence provides a framework for understanding how people connect to virtual self-representations on three distinct levels (body, emotions, and identity). The...
134
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
154
click to vote
WSDM
2012
ACM
13 years 10 months ago
2012
ACM
It is well known that different types of social ties have essentially different influence between people. However, users in online social networks rarely categorize their contact...
141
click to vote
IWC
2011
14 years 6 months ago
2011
The fact that several web accessibility metrics exist may be evidence of a lack of a comparison framework that highlights how well th...
128
click to vote
DSS
2007
15 years 3 months ago
2007
This paper develops a methodology for analyzing and predicting the impact category of malicious code, particularly email worms. The current paper develops two frameworks to classi...