1700 search results - page 45 / 340 » Specifying and implementing refactorings |
DSOM
2005
Springer
15 years 5 months ago
2005
Springer
We present a design for policy-based performance management of SMS Systems. The design takes as input the operator’s performance goals, which are expressed as policies that can b...
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
105
click to vote
DATE
2000
IEEE
15 years 4 months ago
2000
IEEE
There has been a proliferation of block-diagram environments for specifying and prototyping DSP systems. These include tools from academia like Ptolemy [3], and GRAPE [7], and com...
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Mobile devices provide a variety of ways to access information resources available on the Web and a high level of adaptability to different aspects (e.g., device capabili...
114
click to vote
FGCN
2007
IEEE
15 years 1 months ago
2007
IEEE
A black hole attack is a severe attack that can be easily employed against routing in mobile ad hoc networks. A black hole is a malicious node that falsely replies for any route r...