4731 search results - page 624 / 947 » Securing Interactive Programs |
176
Voted
ICTAC
2005
Springer
16 years 7 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
157
click to vote
IFIP
2005
Springer
16 years 7 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
192
click to vote
IMA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. An increasingly important design constraint for software running on ubiquitous computing devices is security, particularly against physical methods such as side-channel a...
121
click to vote
OOPSLA
2005
Springer
16 years 6 days ago
2005
Springer
Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model ed...
164
click to vote
OOPSLA
2005
Springer
16 years 6 days ago
2005
Springer
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...