Search Sciweavers | Sciweavers

6274 search results - page 115 / 1255

» Proofs, Programs, Processes

108

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

101

click to vote

WISE
2009
Springer

84views Internet Technology» more WISE 2009»

Processes Are Data: A Programming Model for Distributed Applications

16 years 5 days ago

Download pi3.informatik.uni-mannheim.de

Alexander Böhm 0002, Carl-Christian Kanne

claim paper

Read More »

click to vote

IWPC
2008
IEEE

122views Software Engineering» more IWPC 2008»

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

15 years 9 months ago

Download www.informatik.uni-bremen.de

Jochen Quante

claim paper

Read More »

click to vote

ETRA
2006
ACM

92views Biometrics» more ETRA 2006»

An eye-tracking methodology for characterizing program comprehension processes

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers