2513 search results - page 313 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
150
click to vote
IUI
1998
ACM
15 years 5 months ago
1998
ACM
Life-likeanimatedinterfaceagentsforknowledge-basedlearning environments can provide timely, customized advice to support students’ problem solving. Because of their strong visua...
112
Voted
FASE
2009
Springer
15 years 4 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
109
click to vote
HOTOS
2007
IEEE
15 years 4 months ago
2007
IEEE
System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of ex...
129
click to vote
ARCS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
119
Voted
CASES
2006
ACM
15 years 4 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...