10568 search results - page 1956 / 2114 » Computer Intelligence and Formalization |
140
Voted
IACR
2011
14 years 3 months ago
2011
Abstract. Tampering attacks are cryptanalytic attacks on the implementation of cryptographic algorithms (e.g., smart cards), where an adversary introduces faults with the hope that...
173
Voted
AOSD
2012
ACM
13 years 11 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
152
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
In many information networks, data items – such as updates in social networks, news flowing through interconnected RSS feeds and blogs, measurements in sensor networks, route u...
242
Voted
TASE
2012
IEEE
13 years 11 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
164
click to vote
ER
2007
Springer
15 years 9 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...