375 search results - page 39 / 75 » Making Abstract Machines Less Abstract |
ICCAD
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
IEEEARES
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—Attack Graphs are an important support for assessment and subsequent improvement of network security. They reveal possible paths an attacker can take to break through se...
AIRS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Collaborative filtering is a major technique to make personalized recommendations about information items (movies, books, webpages etc) to individual users. In the liter...
118
click to vote
MIG
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Despite the large success of games grounded on movement-based interactions the current state of full body motion capture technologies still prevents the exploitation of p...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...