Search Sciweavers | Sciweavers

10568 search results - page 136 / 2114

» Computer Intelligence and Formalization

134

Voted

ICNP
2002
IEEE

120views Computer Networks» more ICNP 2002»

A Formal Approach for Passive Testing of Protocol Data Portions

16 years 8 days ago

Download www.ieee-icnp.org

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

claim paper

Read More »

151

Voted

PRDC
2002
IEEE

97views Applied Computing» more PRDC 2002»

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

16 years 7 days ago

Download www.async.ece.utah.edu

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

claim paper

Read More »

176

click to vote

SCCC
2000
IEEE

90views Theoretical Computer Science» more SCCC 2000»

Capacities-Centered Integral Software Process Formalization

15 years 11 months ago

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

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

claim paper

Read More »

140

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 11 months ago

Download itlab.uta.edu

Jaykumar Muthuraj, Sharma Chakravarthy, Ravi Varad...

claim paper

Read More »

140

Voted

DEBS
2007
ACM

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

Seamless formal verification of complex event processing applications

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers