2375 search results - page 392 / 475 » Analyze Grid from the Perspective of a Computing System |
154
click to vote
RTA
2011
Springer
14 years 19 days ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
We present data from detailed observations of CityWall, a large multi-touch display installed in a central location in Helsinki, Finland. During eight days of installation, 1199 p...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
To build systems shielding users from fraudulent (or phishing) websites, designers need to know which attack strategies work and why. This paper provides the first empirical evide...
ISEUD
2009
Springer
15 years 4 months ago
2009
Springer
The paper is a case study of customer-initiated software product development. We have observed and participated in system development activities in a commercial software house (com...
ICON
2007
IEEE
15 years 4 months ago
2007
IEEE
—Inter-domain routing is suffering from the lack of identifiers for the rapidly growing number of Autonomous Systems (AS), and therefore the 4-byte AS number has been proposed a...