Search Sciweavers | Sciweavers

17082 search results - page 100 / 3417

» Abstractions for Mobile Computation

103

click to vote

TLCA
2005
Springer

88views Theoretical Computer Science» more TLCA 2005»

Higher-Order Abstract Non-interference

15 years 9 months ago

Download www.clip.dia.fi.upm.es

Damiano Zanardini

claim paper

Read More »

click to vote

BIRTHDAY
2004
Springer

84views Applied Computing» more BIRTHDAY 2004»

Die Verdichtung textuellen Wissens zu Information - Vom Wandel methodischer Paradigmen beim automatischen Abstracting

15 years 9 months ago

Download www.informationswissenschaft.org

Udo Hahn

claim paper

Read More »

click to vote

RTA
2004
Springer

108views Theoretical Computer Science» more RTA 2004»

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

15 years 9 months ago

Download css.jaist.ac.jp

Toshinori Takai

claim paper

Read More »

112

click to vote

CAMAD
2009
IEEE

122views Computer Networks» more CAMAD 2009»

Experimental Evaluation of Simulation Abstractions for Wireless Sensor Network MAC Protocols

15 years 8 months ago

Download www.st.ewi.tudelft.nl

Gertjan P. Halkes, Koen Langendoen

claim paper

Read More »

118

Voted

NPAR
2000
ACM

158views Computer Animation» more NPAR 2000»

Interactive dynamic abstraction

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers