1791 search results - page 22 / 359 » Behavioral Operations |
LISP
2007
14 years 11 months ago
2007
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard callby-value CPS translation, Danvy a...
127
click to vote
CONCUR
1994
Springer
15 years 3 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
ER
2007
Springer
15 years 6 months ago
2007
Springer
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...