4386 search results - page 290 / 878 » A Tamper-Resistant Programming Language System |
117
click to vote
UM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. User behaviors on a system vary not only among individuals but also within the same user when he/she gains experience on the system. We empirically investigated how indiv...
115
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...
217
Voted
POPL
2001
ACM
16 years 3 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
105
click to vote
ASPLOS
2000
ACM
15 years 7 months ago
2000
ACM
Technological progress in integrated, low-power, CMOS communication devices and sensors makes a rich design space of networked sensors viable. They can be deeply embedded in the p...
157
click to vote
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...