Results 171 to 180 of about 178,207 (183)

Separation logic and logics with team semantics

Annals of Pure and Applied Logic, 2022
Abstract Separation logic is a successful logical system for formal reasoning about programs that mutate their data structures. Team semantics, on the other side, is the basis of modern logics of dependence and independence. Separation logic and team semantics have been introduced with quite different motivations, and are investigated by research ...
Darion Haase   +2 more
openaire   +2 more sources

Team

Proceedings of the 2008 international workshop on Cooperative and human aspects of software engineering, 2008
Large software development projects are complex endeavours that involve numerous participants which can work across several sites and act in various roles. Each participant produces and consumes information relevant for the success of the project. In such settings, an effective and efficient allocation of knowledge is a hard challenge, especially if ...
Ljiljana Stojanovi   +2 more
openaire   +2 more sources

Semantically-supported team building in a KDD virtual environment

2012 International Conference on Collaboration Technologies and Systems (CTS), 2012
Team building plays a crucial role in many collaborative projects. The use of semantic technologies and tools, like ontologies and metadata management proved to be a powerful approach to organize people competencies and support the formation of teams.
Claudia Diamantini   +2 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy