Difference: WebHome (34 vs. 35)

Revision 3528 May 2010 - Main.DavideSangiorgi

Line: 1 to 1
 
Line: 53 to 53
 Focus investigates the semantic foundations for UC. The foundations are intended as instrumental to formalizing and verifying important
Changed:
<
<
computational properties of the systems, as well as to propose
>
>
computational properties of the systems, as well as to proposing
 linguistic constructs for them. Prototypes are developed to test the implementability and usability of the models and the techniques.
 
This website uses only proprietary and third party technical cookies to ensure the correct operation of its web pages and to improve its services.
By continuing to navigate the website you consent to the use of cookies. To learn more, or deny your consent, consult the privacy policy
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.