Search Sciweavers | Sciweavers

6274 search results - page 115 / 1255

» Proofs, Programs, Processes

149

click to vote

ISSTA
2000
ACM

124views Software Engineering» more ISSTA 2000»

Classification schemes to aid in the analysis of real-time systems

15 years 10 months ago

Download people.nas.nasa.gov

This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...

Paul Z. Kolano, Richard A. Kemmerer

claim paper

Read More »

134

click to vote

WISE
2009
Springer

84views Internet Technology» more WISE 2009»

Processes Are Data: A Programming Model for Distributed Applications

16 years 3 months ago

Download pi3.informatik.uni-mannheim.de

Alexander Böhm 0002, Carl-Christian Kanne

claim paper

Read More »

128

click to vote

IWPC
2008
IEEE

122views Software Engineering» more IWPC 2008»

Do Dynamic Object Process Graphs Support Program Understanding? - A Controlled Experiment

16 years 21 days ago

Download www.informatik.uni-bremen.de

Jochen Quante

claim paper

Read More »

124

click to vote

ETRA
2006
ACM

92views Biometrics» more ETRA 2006»

An eye-tracking methodology for characterizing program comprehension processes

16 years 8 days ago

Download cs.joensuu.fi

Roman Bednarik, Markku Tukiainen

claim paper

Read More »

click to vote

SIGCSE
2005
ACM

114views Education» more SIGCSE 2005»

Revealing the programming process

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers