Search Sciweavers | Sciweavers

15777 search results - page 538 / 3156

» The Reformulation-Optimization Software Engine

143

click to vote

ICSE
2000
IEEE-ACM

124views Software Engineering» more ICSE 2000»

E-Slate: a software architectural style for end-user programming

15 years 8 months ago

Download e-slate.cti.gr

This paper describes E-Slate (http://E-Slate.cti.gr), an exploratory learning environment that builds on a componentbased approach, to enable end-users to create educational softw...

George Birbilis, Manolis Koutlis, Kriton Kyrimis, ...

claim paper

Read More »

142

click to vote

VMCAI
2010
Springer

135views Software Engineering» more VMCAI 2010»

Abstract Interpretation-Based Protection

16 years 1 days ago

Download rosaec.snu.ac.kr

Roberto Giacobazzi

claim paper

Read More »

123

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

15 years 12 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

122

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

15 years 12 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

Voted

FOSSACS
2009
Springer

99views Software Engineering» more FOSSACS 2009»

Least and Greatest Fixpoints in Game Semantics

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers