Search Sciweavers | Sciweavers

15727 search results - page 302 / 3146

» Software Engineering - Introduction

click to vote

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

15 years 10 months ago

Download homepages.cwi.nl

Shuling Wang, Luís Soares Barbosa, Jos&eacu...

claim paper

Read More »

click to vote

ASWEC
2007
IEEE

112views Software Engineering» more ASWEC 2007»

Benchmark Generation Using Domain Specific Modeling

15 years 10 months ago

Download www.ug.it.usyd.edu.au

Ngoc Bao Bui, Liming Zhu, Ian Gorton, Yan Liu

claim paper

Read More »

108

click to vote

ASWEC
2007
IEEE

132views Software Engineering» more ASWEC 2007»

OntoMove: A Knowledge Based Framework for Semantic Requirement Profiling and Resource Acquisition

15 years 10 months ago

Download homepage.cs.latrobe.edu.au

Mehul Bhatt, J. Wenny Rahayu, Sury Prakash Soni, C...

claim paper

Read More »

click to vote

CGO
2007
IEEE

90views Software Engineering» more CGO 2007»

Heterogeneous Clustered VLIW Microarchitectures

15 years 10 months ago

Download www.ece.neu.edu

Alex Aletà, Josep M. Codina, Antonio Gonz&a...

claim paper

Read More »

105

click to vote

ICSEA
2007
IEEE

92views Software Engineering» more ICSEA 2007»

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers