84 search results - page 16 / 17 » Automated Packet Trace Analysis of TCP Implementations |
ECWEB
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Semantic Web Services can be seen as remote Problem Solving Methods offered via the Web through platform and language independent interfaces. They can be seamlessly inte...
JSS
2007
14 years 11 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
113
click to vote
DAC
2008
ACM
16 years 18 days ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
TIME
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
DAWAK
1999
Springer
15 years 3 months ago
1999
Springer
Data mining can be used to extensively automate the data analysis process. Techniques for mining interval time series, however, have not been considered. Such time series are commo...