Search Sciweavers | Sciweavers

15254 search results - page 149 / 3051

» A k

105

click to vote

SAC
2009
ACM

78views Applied Computing» more SAC 2009»

Reasoning about comprehensions with first-order SMT solvers

16 years 1 months ago

Download www.cs.nuim.ie

K. Rustan M. Leino, Rosemary Monahan

claim paper

Read More »

122

click to vote

BIRTHDAY
2009
Springer

96views Applied Computing» more BIRTHDAY 2009»

Social Modeling and i*

16 years 1 months ago

Download www.cs.toronto.edu

Eric S. K. Yu

claim paper

Read More »

132

click to vote

EDBT
2009
ACM

111views Database» more EDBT 2009»

Detecting privacy violations in database publishing using disjoint queries

16 years 1 months ago

Download www.cis.unisa.edu.au

Millist W. Vincent, Mukesh K. Mohania, Mizuho Iwai...

claim paper

Read More »

134

click to vote

LATA
2009
Springer

82views Artificial Intelligence» more LATA 2009»

Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions

16 years 1 months ago

Download www.tcs.tifr.res.in

P. Vijay Suman, Paritosh K. Pandya

claim paper

Read More »

111

click to vote

DATE
2009
IEEE

117views Hardware» more DATE 2009»

An architecture for secure software defined radio

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers