Search Sciweavers | Sciweavers

10568 search results - page 136 / 2114

» Computer Intelligence and Formalization

click to vote

ICNP
2002
IEEE

120views Computer Networks» more ICNP 2002»

A Formal Approach for Passive Testing of Protocol Data Portions

15 years 7 months ago

Download www.ieee-icnp.org

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

claim paper

Read More »

101

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

Download www.async.ece.utah.edu

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

claim paper

Read More »

105

click to vote

SCCC
2000
IEEE

90views Theoretical Computer Science» more SCCC 2000»

Capacities-Centered Integral Software Process Formalization

15 years 7 months ago

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

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

claim paper

Read More »

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

Download itlab.uta.edu

Jaykumar Muthuraj, Sharma Chakravarthy, Ravi Varad...

claim paper

Read More »

Voted

DEBS
2007
ACM

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

Seamless formal verification of complex event processing applications

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers