Sciweavers

15777 search results - page 179 / 3156

» Engineering in Software

117

SCAM
2003
IEEE

83views Software Engineering» more SCAM 2003»

Static Slicing of Reactive Programs

15 years 9 months ago

Static Slicing of Reactive Programs

Download www.cse.iitb.ac.in

Aditya Rajeev Kulkarni, S. Ramesh

claim paper

Read More »

83

AOSD
2003
ACM

79views Software Engineering» more AOSD 2003»

Static analysis of aspects

15 years 9 months ago

Static analysis of aspects

Download metacomp.comlab.ox.ac.uk

Damien Sereni, Oege de Moor

claim paper

Read More »

94

WOSP
2010
ACM

123views Software Engineering» more WOSP 2010»

A power consumption analysis of decision support systems

15 years 9 months ago

A power consumption analysis of decision support systems

Download spec.unipv.it

Meikel Poess, Raghunath Othayoth Nambiar

claim paper

Read More »

111

COMPSAC
2002
IEEE

119views Software Engineering» more COMPSAC 2002»

Dependable On-Line Upgrading of Distributed Systems

15 years 8 months ago

Dependable On-Line Upgrading of Distributed Systems

Download www.cs.ncl.ac.uk

Alexander B. Romanovsky, Iain Smith

claim paper

Read More »

140

KBSE
2002
IEEE

101views Software Engineering» more KBSE 2002»

Experience Report on Automated Procedure Construction for Deductive Synthesis

15 years 8 months ago

Experience Report on Automated Procedure Construction for Deductive Synthesis

Download ase.informatik.uni-essen.de

Steve Roach, Jeffrey Van Baalen

claim paper

Read More »

« Prev « First page 179 / 3156 Last » Next »