2513 search results - page 141 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
TCS
2008
14 years 10 months ago
2008
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
EPEW
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. People with special needs may find difficulties using electronic consumer devices, user interfaces limit their chances of having full control on them. The Universal Remot...
ICPP
2002
IEEE
15 years 3 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...
77
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...