215 search results - page 30 / 43 » State-Transition Computation Models and Program Correctness ... |
114
click to vote
HIPC
2007
Springer
15 years 3 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
PADL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
122
click to vote
EDOC
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
121
click to vote
FPCA
1995
15 years 3 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
CSE
2009
IEEE
15 years 3 months ago
2009
IEEE
Duplicating the full dynamic capabilities of the human eye-brain combination is a difficult task but an important goal because of the wide application that a system which can acqu...