Search Sciweavers | Sciweavers

15727 search results - page 345 / 3146

» Software Engineering - Introduction

101

click to vote

AMAST
2006
Springer

115views Software Engineering» more AMAST 2006»

Opaque Predicates Detection by Abstract Interpretation

15 years 8 months ago

Download profs.sci.univr.it

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

claim paper

Read More »

136

click to vote

ASWEC
2004
IEEE

79views Software Engineering» more ASWEC 2004»

Combining Agent-Oriented Conceptual Modelling with Formal Methods

15 years 8 months ago

Download www.csis.ul.ie

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

claim paper

Read More »

123

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 8 months ago

Download aswsd.ucsd.edu

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

claim paper

Read More »

128

click to vote

COMPSAC
2004
IEEE

138views Software Engineering» more COMPSAC 2004»

Generating Regression Tests via Model Checking

15 years 8 months ago

Download eagle.csie.ntut.edu.tw

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

claim paper

Read More »

120

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 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers