2786 search results - page 182 / 558 » A Practical Technique for Process Abstraction |
111
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
111
click to vote
JOT
2008
15 years 1 months ago
2008
There was much interest at this year's Software Product Line Conference in how to combine agile and product line techniques. Agile teams seek to address change one product at...
104
click to vote
TOG
2002
15 years 1 months ago
2002
A classic photographic task is the mapping of the potentially high dynamic range of real world luminances to the low dynamic range of the photographic print. This tone reproductio...
155
click to vote
ESORICS
2011
Springer
14 years 1 months ago
2011
Springer
Program authorship attribution—identifying a programmer based on stylistic characteristics of code—has practical implications for detecting software theft, digital forensics, a...
FIW
2003
15 years 3 months ago
2003
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...