Sciweavers

2165 search results - page 397 / 433
» Cooperative Software Development: Concepts, Model and Tools
Sort
View
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 5 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
ATAL
2008
Springer
15 years 3 months ago
Conviviality masks in multiagent systems
In this paper we study tools for conviviality to develop user-friendly multiagent systems. First, we show how to use the social-cognitive concept of conviviality in multiagent sys...
Patrice Caire, Serena Villata, Guido Boella, Leend...
122
Voted
SPLC
2010
15 years 3 months ago
A Flexible Approach for Generating Product-Specific Documents in Product Lines
Abstract. In product line engineering various stakeholders like sales and marketing people, product managers, and technical writers are involved in creating and adapting documents ...
Rick Rabiser, Wolfgang Heider, Christoph Elsner, M...
COR
2006
86views more  COR 2006»
15 years 1 months ago
G-functions for the hermeneutic circle of evolution
Evolution by natural selection may include both frequency and density-dependence. Frequency-dependent selection is a kind of hermeneutic circle. As a literary term (and a school o...
Joel S. Brown, Thomas L. Vincent
ECTEL
2006
Springer
15 years 5 months ago
Getting to Know Your Student in Distance Learning Contexts
Abstract. Good teachers know their students, and exploit this knowledge to adapt or optimise their instruction. Teachers know their students because they interact with them face-to...
Claus Zinn, Oliver Scheuer