6279 search results - page 40 / 1256 » Objects as session-typed processes |
ICIP
1999
IEEE
16 years 6 months ago
1999
IEEE
ICIP
1999
IEEE
16 years 6 months ago
1999
IEEE
116
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
During the last decades market competition created various constellations of collaborative integration between enterprises: integration of parts of the value chain or integration ...
124
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...