2513 search results - page 433 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
FASE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
AOSD
2003
ACM
14 years 3 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...
IUI
2003
ACM
14 years 3 months ago
2003
ACM
Guidebots, or animated pedagogical agents, can enhance interactive learning environments by promoting deeper learning and improve the learner's subjective experience. Guidebo...
CODES
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
VIS
2004
IEEE
14 years 11 months ago
2004
IEEE
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...