2205 search results - page 203 / 441 » Mutation Operators for Specifications |
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
134
Voted
ACSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
Currently the computer systems and software used by the average user offer virtually no security. Because of this many attacks, both simulated and real, have been described by the...
111
Voted
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
This study proposes a new bandwidth reservation strategy (Two Level Guarantee) in wireless environment based on the user mobility specification which is assumed to be given at cal...
108
Voted
HIPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
129
click to vote
ICRE
1998
IEEE
15 years 6 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...