Search Sciweavers | Sciweavers

15727 search results - page 302 / 3146

» Software Engineering - Introduction

126

click to vote

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

16 years 1 months ago

Download homepages.cwi.nl

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

claim paper

Read More »

116

click to vote

ASWEC
2007
IEEE

112views Software Engineering» more ASWEC 2007»

Benchmark Generation Using Domain Specific Modeling

16 years 1 months ago

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

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

claim paper

Read More »

142

click to vote

ASWEC
2007
IEEE

132views Software Engineering» more ASWEC 2007»

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

16 years 1 months ago

Download homepage.cs.latrobe.edu.au

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

claim paper

Read More »

128

click to vote

CGO
2007
IEEE

90views Software Engineering» more CGO 2007»

Heterogeneous Clustered VLIW Microarchitectures

16 years 1 months ago

Download www.ece.neu.edu

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

claim paper

Read More »

144

click to vote

ICSEA
2007
IEEE

92views Software Engineering» more ICSEA 2007»

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams

16 years 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers