Search Sciweavers | Sciweavers

15794 search results - page 387 / 3159

» Agent-Oriented Software Engineering

137

click to vote

AMAST
2006
Springer

115views Software Engineering» more AMAST 2006»

Opaque Predicates Detection by Abstract Interpretation

15 years 10 months ago

Download profs.sci.univr.it

Mila Dalla Preda, Matias Madou, Koen De Bosschere,...

claim paper

Read More »

155

click to vote

ASWSD
2006
Springer

299views Software Engineering» more ASWSD 2006»

Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

15 years 10 months ago

Download aswsd.ucsd.edu

Sandeep Neema, Sushil Birla, Shige Wang, Tripti Sa...

claim paper

Read More »

163

Voted

COMPSAC
2004
IEEE

138views Software Engineering» more COMPSAC 2004»

Generating Regression Tests via Model Checking

15 years 10 months ago

Download eagle.csie.ntut.edu.tw

Lihua Xu, Marcio S. Dias, Debra J. Richardson

claim paper

Read More »

155

click to vote

EMSOFT
2004
Springer

76views Software Engineering» more EMSOFT 2004»

Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems

15 years 10 months ago

Download www.real-time.ece.vt.edu

Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Pe...

claim paper

Read More »

155

click to vote

EUROMICRO
2004
IEEE

134views Software Engineering» more EUROMICRO 2004»

Component-Based Real-Time Design: Mapping HRT-HOOD to UML

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers