Search Sciweavers | Sciweavers

8917 search results - page 35 / 1784

» Abstraction in Algorithm Animation

160

click to vote

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction

16 years 1 months ago

Download ropas.snu.ac.kr

Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun...

claim paper

Read More »

220

click to vote

IPSN
2009
Springer

284views Sensor Networks» more IPSN 2009»

Poster abstract: A distributed algorithm to compute spatial skyline in wireless sensor networks

16 years 1 months ago

Download www-scf.usc.edu

Sunhee Yoon, Cyrus Shahabi

claim paper

Read More »

130

click to vote

DEPCOS
2008
IEEE

112views Hardware» more DEPCOS 2008»

Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models

16 years 28 days ago

Download alfredo.pironti.eu

Alfredo Pironti, Riccardo Sisto

claim paper

Read More »

129

click to vote

NCA
2008
IEEE

119views Computer Networks» more NCA 2008»

An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets

16 years 26 days ago

Download www2.cs.ucy.ac.cy

Chryssis Georgiou, Peter M. Musial, Alexander A. S...

claim paper

Read More »

149

click to vote

UC
2007
Springer

130views Applied Computing» more UC 2007»

The Abstract Immune System Algorithm

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers