3792 search results - page 497 / 759 » Techniques for Trusted Software Engineering |
154
click to vote
WCRE
2007
IEEE
16 years 29 days ago
2007
IEEE
Dynamic protocol recovery tries to recover a component’s sequencing constraints by means of dynamic analysis. This problem has been tackled by several automaton learning approac...
175
click to vote
SADFE
2005
IEEE
16 years 8 days ago
2005
IEEE
With powerful computer and mighty software, seasoned users could turn digital media into what they want. The detection of digital tampering has become a crucial problem. In most o...
131
click to vote
UIST
2005
ACM
16 years 8 days ago
2005
ACM
Supporting groups of individuals exploring large maps and design diagrams on interactive tabletops is still an open research problem. Today’s geospatial, mechanical engineering ...
156
click to vote
FATES
2004
Springer
16 years 3 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
195
click to vote
SAC
1998
ACM
15 years 10 months ago
1998
ACM
Fuzzy Logic has traditionally found an application in control theory, systems analysis, and artificial intelligence [9] [7]. However, it is very difficult to apply it to tradition...