1432 search results - page 143 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
146
Voted
KDD
2010
ACM
15 years 2 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
105
Voted
RSP
1999
IEEE
15 years 8 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
154
Voted
RTSS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
136
click to vote
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
There are some software applications especially in privacy protection domain which they need anonymity support. Therefore lots of methods and protocols have been presented so far ...
145
click to vote
ENGL
2008
15 years 3 months ago
2008
Reverse engineering has become a viable technique to create a 3D virtual model of an existing physical object. It enables the reconstruction of body surfaces to create a suitable C...