Search Sciweavers | Sciweavers

15794 search results - page 351 / 3159

» Agent-Oriented Software Engineering

122

Voted

STEP
2005
IEEE

102views Software Engineering» more STEP 2005»

Open Challenges in Ubiquitous and Net-Centric Computing Middleware

16 years 9 days ago

Download www.netcentriccomputing.org

Thierry Bodhuin, Gerardo Canfora, Rosa Preziosi, M...

claim paper

Read More »

146

click to vote

PASTE
2005
ACM

87views Software Engineering» more PASTE 2005»

Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs

16 years 9 days ago

Download www-users.cs.umn.edu

Donglin Liang, Maikel Pennings, Mary Jean Harrold

claim paper

Read More »

208

click to vote

AADEBUG
2005
Springer

228views Software Engineering» more AADEBUG 2005»

Divide-and-query and subterm dependency tracking in the mercury declarative debugger

16 years 9 days ago

Download www.mercury.csse.unimelb.edu.au

Ian MacLarty, Zoltan Somogyi, Mark Brown

claim paper

Read More »

134

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

16 years 8 days ago

Download se.ethz.ch

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...

claim paper

Read More »

143

Voted

FATES
2005
Springer

69views Software Engineering» more FATES 2005»

Play to Test

16 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers