33 search results - page 2 / 7 » Multiple Perspectives on Executable Acceptance Test-Driven D... |
PLDI
2012
ACM
11 years 7 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
SYNTHESE
2010
13 years 2 months ago
2010
I develop a strategy for representing epistemic states and epistemic changes that seeks to be sensitive to the difference between voluntary and involuntary aspects of our epistemi...
ICWS
2009
IEEE
13 years 2 months ago
2009
IEEE
Workflow models have been used and refined for years to execute processes within organisations. To deal with collaborative processes (choreographies) these internal workflow model...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of some ...
GCA
2008
13 years 6 months ago
2008
Grids are becoming mission-critical components in research and industry, offering sophisticated solutions in leveraging largescale computing and storage resources. Grid resources ...