1936 search results - page 215 / 388 » Unbundling Active Functionality |
141
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
109
click to vote
MSR
2006
ACM
15 years 10 months ago
2006
ACM
It is common, especially in large software systems, for developers to change code without updating its associated comments due to their unfamiliarity with the code or due to time ...
115
click to vote
AIPR
2005
IEEE
15 years 10 months ago
2005
IEEE
Definition and design of a terahertz standoff imaging system has been theoretically investigated. Utilizing terahertz quantum cascade lasers for transmitter and local oscillator, ...
127
click to vote
DEXAW
2005
IEEE
15 years 10 months ago
2005
IEEE
Sensor networks have opened new horizons and opportunities for a variety of environmental monitoring, surveillance and healthcare applications. One of the major tasks of sensor ne...
139
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
In the context of software maintenance, legacy software systems are continuously re-engineered in order to correct errors, provide new functionality, or port them into modern plat...