2513 search results - page 225 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
130
click to vote
ICONIP
2008
15 years 8 months ago
2008
One of the simplest creative act is the invention of a new word that captures some characteristics of objects or processes, for example industrial or software products, activity of...
157
click to vote
FLAIRS
2006
15 years 7 months ago
2006
Context can be seen as a paradigm aiming to improve user interaction with software. For Web applications in particular, the issues of content explosion and technological constrain...
166
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Histograms are widely used in medical imaging, network intrusion detection, packet analysis and other streambased high throughput applications. However, while porting such software...
135
click to vote
FAC
2008
15 years 6 months ago
2008
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...
168
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...