4386 search results - page 710 / 878 » A Tamper-Resistant Programming Language System |
122
click to vote
IFIP
2007
Springer
15 years 9 months ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...
119
click to vote
ITNG
2006
IEEE
15 years 9 months ago
2006
IEEE
We introduce a measurement system architecture, which has three main qualities: secure two-way transfer of measurement data, quick adaptability to different kinds of measurement ...
106
click to vote
WIKIS
2006
ACM
15 years 9 months ago
2006
ACM
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of...
146
click to vote
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
155
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...