3507 search results - page 208 / 702 » Specialized execution environments |
215
click to vote
JAPLL
2006
15 years 4 months ago
2006
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
141
click to vote
IMCSIT
2010
15 years 2 months ago
2010
The paper presents selected security aspects related to confidentiality, privacy, trust and authenticity issues of a distributed, agent-based computing. Particular attention has be...
148
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We study methods that allow web sites to safely combine JavaScript from untrusted sources. If implemented properly, filters can prevent dangerous code from loading into t...
114
click to vote
SIGCOMM
2009
ACM
15 years 11 months ago
2009
ACM
Mobile thin client computing is an enabler for the execution of demanding applications from mobile handhelds. In thin client computing, the application is executed on remote serve...
101
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...