145
click to vote
AFP
16 years 24 days ago
2008 Springer 
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
173
click to vote
AFP
16 years 24 days ago
2008 Springer 
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
150
Voted
AFP
16 years 24 days ago
2008 Springer 198
click to vote
AFP
16 years 24 days ago
2008 Springer 
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
|
Formal Methods