Search Sciweavers | Sciweavers

4917 search results - page 118 / 984

» Software Engineering is Not Computer Science

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

15 years 9 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 9 months ago

Download www.pps.jussieu.fr

Pierre Clairambault

claim paper

Read More »

Voted

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

click to vote

ISORC
2008
IEEE

97views Distributed And Parallel Com...» more ISORC 2008»

Lightweight Shadow Paging for Efficient Memory Isolation in Gandalf VMM

15 years 8 months ago

Download dmclab.hanyang.ac.kr

Megumi Ito, Shuichi Oikawa

claim paper

Read More »

112

click to vote

ISORC
2008
IEEE

78views Distributed And Parallel Com...» more ISORC 2008»

Design Methodologies for Embedded Systems: Where is the Super-Glue?

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers