3104 search results - page 517 / 621 » Using quantitative analysis to implement autonomic IT system... |
163
click to vote
AFRICACRYPT
2010
Springer
15 years 10 months ago
2010
Springer
The market for RFID technology has grown rapidly over the past few years. Going along with the proliferation of RFID technology is an increasing demand for secure and privacy-prese...
136
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
139
click to vote
SIGCSE
2006
ACM
15 years 9 months ago
2006
ACM
New accreditation requirements focus on education as a “continuous improvement process.” The most important part of such a process is that information gets fed back into the s...
150
click to vote
ESCIENCE
2005
IEEE
15 years 9 months ago
2005
IEEE
As Web Services have matured they have been substantially leveraged within the academic, research and business communities. An exemplar of this is the realignment, last year, of t...
185
click to vote
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...