4386 search results - page 290 / 878 » A Tamper-Resistant Programming Language System |
157
click to vote
UM
2009
Springer
16 years 1 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...
162
click to vote
ECOOP
2006
Springer
15 years 10 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...
270
click to vote
POPL
2001
ACM
16 years 6 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...
146
click to vote
ASPLOS
2000
ACM
15 years 11 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...
205
click to vote
TOOLS
1999
IEEE
15 years 11 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...