Search Sciweavers | Sciweavers

15777 search results - page 485 / 3156

» The Reformulation-Optimization Software Engine

click to vote

COMPSAC
2007
IEEE

128views Software Engineering» more COMPSAC 2007»

Adaptive Agent Model: an Agent Interaction and Computation Model

15 years 11 months ago

Download www.cisa.informatics.ed.ac.uk

Liang Xiao 0002, David Robertson, Madalina Croitor...

claim paper

Read More »

click to vote

GTTSE
2007
Springer

122views Software Engineering» more GTTSE 2007»

.QL: Object-Oriented Queries Made Easy

15 years 11 months ago

Download semmle.com

Oege de Moor, Damien Sereni, Mathieu Verbaere, Eln...

claim paper

Read More »

115

click to vote

ICESS
2007
Springer

123views Software Engineering» more ICESS 2007»

Dependable Geographical Routing on Wireless Sensor Networks

15 years 11 months ago

Download www.csie.ntpu.edu.tw

Yue-Shan Chang, Ming-Tsung Hsu, Hsu-Hang Liu, Tong...

claim paper

Read More »

click to vote

RE
2007
Springer

80views Software Engineering» more RE 2007»

Technique Integration for Requirements Assessment

15 years 11 months ago

Download selab.netlab.uky.edu

Alex Dekhtyar, Jane Huffman Hayes, Senthil Karthik...

claim paper

Read More »

109

click to vote

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers