Search Sciweavers | Sciweavers

3680 search results - page 17 / 736

» cases 2010

147

click to vote

EDBTW
2010
Springer

187views Software Engineering» more EDBTW 2010»

Model driven development of secure XML data warehouses: a case study

16 years 11 days ago

Download gplsi.dlsi.ua.es

Belén Vela, Carlos Blanco, Eduardo Fern&aac...

claim paper

Read More »

155

click to vote

ASM
2010
ASM

246views Computational Biology» more ASM 2010»

A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking

15 years 9 months ago

Download users.ece.utexas.edu

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dew...

claim paper

Read More »

118

click to vote

ISSTA
2010
ACM

168views Software Engineering» more ISSTA 2010»

Generating test cases for specification mining

15 years 7 months ago

Download www.st.cs.uni-saarland.de

Valentin Dallmeier, Nikolai Knopp, Christoph Mallo...

claim paper

Read More »

click to vote

ASAP
2010
IEEE

127views Hardware» more ASAP 2010»

Deadlock-avoidance for streaming applications with split-join structure: Two case studies

15 years 7 months ago

Download www.ccrc.wustl.edu

Peng Li, Kunal Agrawal, Jeremy Buhler, Roger D. Ch...

claim paper

Read More »

104

click to vote

ATAL
2010
Springer

126views Intelligent Agents» more ATAL 2010»

A reward function generation method using genetic algorithms: a robot soccer case study

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers