Sciweavers

5433 search results - page 699 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
ECTEL
2010
Springer
15 years 4 months ago
GVIS: A Facility for Adaptively Mashing Up and Representing Open Learner Models
In this article we present an infrastructure for creating mash up and visual representations of the user profile that combine data from different sources. We explored this approach...
Luca Mazzola, Riccardo Mazza
ENTCS
2010
136views more  ENTCS 2010»
15 years 4 months ago
A Solver for Modal Fixpoint Logics
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
Oliver Friedmann, Martin Lange
IJAOSE
2010
126views more  IJAOSE 2010»
15 years 4 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
IJEC
2010
148views more  IJEC 2010»
15 years 4 months ago
Collaborative Performance: Addressing the ROI of Collaboration
Collaboration is a hot issue, and is to an increasing extent recognized as a key driver of overall business performance. However, few companies methodically evaluate how well they...
Kjetil Kristensen, Björn Kijl
CORR
2011
Springer
339views Education» more  CORR 2011»
15 years 2 months ago
Context Capture in Software Development
The context of a software developer is something hard to define and capture, as it represents a complex network of elements across different dimensions that are not limited to th...
Bruno Antunes, Francisco Correia, Paulo Gomes