Search Sciweavers | Sciweavers

15784 search results - page 587 / 3157

» Mega Software Engineering

184

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 10 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 »

196

click to vote

VMCAI
2010
Springer

135views Software Engineering» more VMCAI 2010»

Abstract Interpretation-Based Protection

16 years 2 months ago

Download rosaec.snu.ac.kr

Roberto Giacobazzi

claim paper

Read More »

163

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

16 years 1 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

165

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

16 years 1 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

125

click to vote

FOSSACS
2009
Springer

99views Software Engineering» more FOSSACS 2009»

Least and Greatest Fixpoints in Game Semantics

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers