Search Sciweavers | Sciweavers

10568 search results - page 136 / 2114

» Computer Intelligence and Formalization

116

click to vote

ICNP
2002
IEEE

120views Computer Networks» more ICNP 2002»

A Formal Approach for Passive Testing of Protocol Data Portions

15 years 11 months ago

Download www.ieee-icnp.org

David Lee, Dongluo Chen, Ruibing Hao, Raymond E. M...

claim paper

Read More »

137

click to vote

PRDC
2002
IEEE

97views Applied Computing» more PRDC 2002»

Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method

15 years 11 months ago

Download www.async.ece.utah.edu

Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric ...

claim paper

Read More »

149

click to vote

SCCC
2000
IEEE

90views Theoretical Computer Science» more SCCC 2000»

Capacities-Centered Integral Software Process Formalization

15 years 10 months ago

Download www.lifia.info.unlp.edu.ar

Silvia Teresita Acuña, R. Giandini, Cecilia...

claim paper

Read More »

122

click to vote

PDIS
1993
IEEE

98views Distributed And Parallel Com...» more PDIS 1993»

A Formal Approach to the Vertical Partitioning Problem in Distributed Database Design

15 years 10 months ago

Download itlab.uta.edu

Jaykumar Muthuraj, Sharma Chakravarthy, Ravi Varad...

claim paper

Read More »

124

click to vote

DEBS
2007
ACM

92views Distributed And Parallel Com...» more DEBS 2007»

Seamless formal verification of complex event processing applications

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers