4386 search results - page 526 / 878 » A Tamper-Resistant Programming Language System |
147
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
141
click to vote
APCSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...
102
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. While incremental propagation for global constraints is recognized to be important, little research has been devoted to how propagator-centered constraint programming sys...
127
click to vote
CASSIS
2004
Springer
15 years 10 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...
116
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
Object database management systems (ODBMSs) typically offer fixed approaches to evolve the schema of the database and adapt existing instances accordingly. Applications, however, h...