Search Sciweavers | Sciweavers

8917 search results - page 35 / 1784

» Abstraction in Algorithm Animation

152

click to vote

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

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

16 years 27 days ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

205

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 21 days ago

Download www-scf.usc.edu

Sunhee Yoon, Cyrus Shahabi

claim paper

Read More »

124

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

Download alfredo.pironti.eu

Alfredo Pironti, Riccardo Sisto

claim paper

Read More »

124

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 9 days ago

Download www2.cs.ucy.ac.cy

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

claim paper

Read More »

141

click to vote

UC
2007
Springer

130views Applied Computing» more UC 2007»

The Abstract Immune System Algorithm

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers