250 search results - page 47 / 50 » Extracting State Models for Black-Box Software Components |
121
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
121
click to vote
EUROSYS
2006
ACM
16 years 7 days ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
126
click to vote
ICFEM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
231
Voted
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
128
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...