Search Sciweavers | Sciweavers

10271 search results - page 409 / 2055

» Computer Science

123

click to vote

IMSCCS
2006
IEEE

92views Theoretical Computer Science» more IMSCCS 2006»

Research on CMMI-based Software Process Metrics

15 years 10 months ago

Download www.ncsec-thailand.org

Ruzhi Xu, Yunjiao Xue, Peiyao Nie, Yuan Zhang, Des...

claim paper

Read More »

click to vote

LICS
2006
IEEE

62views Automated Reasoning» more LICS 2006»

Approximation Schemes for First-Order Definable Optimisation Problems

15 years 10 months ago

Download www.newton.ac.uk

Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole...

claim paper

Read More »

100

click to vote

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Approximate Satisfiability and Equivalence

15 years 10 months ago

Download www.cs.technion.ac.il

Eldar Fischer, Frédéric Magniez, Mic...

claim paper

Read More »

121

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Stochastic Games with Branching-Time Winning Objectives

15 years 10 months ago

Download www.fi.muni.cz

Tomás Brázdil, Václav Brozek,...

claim paper

Read More »

103

click to vote

ITICSE
2006
ACM

122views Theoretical Computer Science» more ITICSE 2006»

Not seeing the forest for the trees: novice programmers and the SOLO taxonomy

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers