2513 search results - page 339 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
74
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
End-user programming tools for creating spreadsheets and webforms offer no data types except "string" for storing many kinds of data, such as person names and street add...
111
Voted
CSMR
2007
IEEE
15 years 7 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
211
click to vote
POPL
2003
ACM
16 years 29 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
112
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...