CASSIS
2004
Springer
14 years 1 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
CASSIS
2004
Springer
14 years 1 months ago
2004
Springer
CASSIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
CASSIS
2004
Springer
14 years 1 months ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
CHI
2004
ACM
14 years 1 months ago
2004
ACM
As ubiquitous computing technology migrates into the home environment, there has been a concurrent effort to allow users to build and customize such technologies to suit their own...
CHI
2004
ACM
14 years 1 months ago
2004
ACM
MetaCrystal visualizes the degree of overlap between the top results returned by different search engines. Linked overview tools support rapid exploration, facilitate advanced fil...
CHI
2004
ACM
14 years 1 months ago
2004
ACM
Do different design and information content factors influence trust and mistrust of online health sites? Fifteen women faced with a risky health decision were observed while searc...
CHI
2004
ACM
14 years 1 months ago
2004
ACM
Massively Multiplayer Online Games (MMOGs) continue to be a popular and lucrative sector of the gaming market. Project Massive was created to assess MMOG players’ social experie...
CHI
2004
ACM
14 years 1 months ago
2004
ACM
We introduce Topobo, a 3D constructive assembly system embedded with kinetic memory, the ability to record and playback physical motion. Unique among modeling systems is Topoboʼs...
CHI
2004
ACM
14 years 1 months ago
2004
ACM
We seek to improve the experience of using pen computing devices by augmenting them with haptic, tactile feedback displays. We present the design of the haptic display for pen com...