2513 search results - page 182 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
141
click to vote
SCCC
1999
IEEE
15 years 9 months ago
1999
IEEE
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...
132
click to vote
ICDCS
1996
IEEE
15 years 9 months ago
1996
IEEE
This paper presents a detailed comparison of the relative importance of allowing concurrent writers versus the choice of the underlying consistency model. Our comparison is based ...
167
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
153
click to vote
INFOSCALE
2007
ACM
15 years 6 months ago
2007
ACM
— The concept of Cumulated Anomaly (CA), which describes a new type of database anomalies, is addressed. A typical CA intrusion is that when a user who is authorized to modify da...
133
click to vote
CASCON
2006
15 years 6 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...