53390 search results - page 235 / 10678 » Computer Systems Analysis |
189
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
150
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—The differences between the fields of HumanComputer Interaction and Security (HCISec) and HumanComputer Interaction (HCI) have not been investigated very closely. Many ...
175
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Interaction with mobile devices that are intended for everyday use is challenging since such systems are continuously optimized towards small outlines. Watches are a particularl...
173
click to vote
APSCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Socio-technical developments in computing have resulted in the emergence of innovative mobile systems which exploit the information available on the Internet to optimize the perfo...
168
click to vote
VLDB
2007
ACM
16 years 20 days ago
2007
ACM
PageRank-style authority analyses of Web graphs are of great importance for Web mining. Such authority analyses also apply to hot “Web 2.0” applications that exhibit a natural...