Search Sciweavers | Sciweavers

15811 search results - page 361 / 3163

» Search-based software engineering

169

click to vote

ASWEC
2004
IEEE

79views Software Engineering» more ASWEC 2004»

Combining Agent-Oriented Conceptual Modelling with Formal Methods

15 years 10 months ago

Download www.csis.ul.ie

Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn...

claim paper

Read More »

154

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 »

158

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 »

153

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 »

154

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