1700 search results - page 228 / 340 » Specifying and implementing refactorings |
171
click to vote
WDAG
2004
Springer
15 years 11 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
156
click to vote
IDTRUST
2010
ACM
15 years 11 months ago
2010
ACM
Whilst the growing number of identity management systems have the potential to reduce the threat of identity attacks, major deployment problems remain because of the lack of inter...
143
click to vote
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
The design principle of restricting local autonomy only where necessary for global robustness has led to a scalable Internet. Unfortunately, this scalability and capacity for dist...
164
click to vote
IAW
2003
IEEE
15 years 11 months ago
2003
IEEE
— Intrusion detection and countermeasures response is an active area of research. In this paper, we examine integrating an intrusion detection engine with an active countermeasur...
138
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— We explore the control of a nonholonomic robot subject to additional constraints on the state variables. In our problem, the user specifies the path of a subset of the state v...