586 search results - page 54 / 118 » Witnessing side effects |
128
click to vote
OPNETEC
2004
Springer
15 years 10 months ago
2004
Springer
: In this paper, we propose an architecture of Optical Burst Switched WDM ring network. In our proposed OBS ring network, every node is equipped with one tunable transmitter and on...
125
Voted
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
138
Voted
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
148
Voted
NDSS
2003
IEEE
15 years 10 months ago
2003
IEEE
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
133
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
A transferable quality model must be general. This implies that only the high level characteristics can be transferred into different settings and that the refinement of the charac...