2317 search results - page 296 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Privacy practices in social network sites often appear paradoxical, as content-sharing behavior stands in conflict with the need to reduce disclosure-related harms. In this study ...
ISWC
2000
IEEE
14 years 22 days ago
2000
IEEE
As new technologies create smaller, cheaper and faster machines, we see a paradigm shift from desktop computing to wearable computing. In less than a decade, we have witnessed the...
PACS
2000
Springer
13 years 12 months ago
2000
Springer
Reducing power, on both a per cycle basis and as the total energy used over the lifetime of an application, has become more important as small and embedded devices become increasi...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...