Ambient contracts: verifying and enforcing ambient object compositions à la carte

Christophe Scholliers, Dries Harnie, Éric Tanter, Wolfgang De Meuter, Theo D Hondt. Ambient contracts: verifying and enforcing ambient object compositions à la carte. Personal and Ubiquitous Computing, 15(4):341-351, 2011. [doi]

Authors

Christophe Scholliers

This author has not been identified. Look up 'Christophe Scholliers' in Google

Dries Harnie

This author has not been identified. Look up 'Dries Harnie' in Google

Éric Tanter

This author has not been identified. It may be one of the following persons: Look up 'Éric Tanter' in Google

Wolfgang De Meuter

This author has not been identified. Look up 'Wolfgang De Meuter' in Google

Theo D Hondt

This author has not been identified. It may be one of the following persons: Look up 'Theo D Hondt' in Google