Sciweavers

575 search results - page 75 / 115
» Analysis of program based on Synchronous Active Objects
Sort
View
IEEEICCI
2005
IEEE
14 years 2 months ago
An empirical study of programmer learning during incremental software development
The paper presents a case study that investigates programmer learning during incremental program development. Dialog based protocol and protocol analysis are used to explore the l...
Shaochun Xu, Václav Rajlich, Andrian Marcus
UM
2005
Springer
14 years 2 months ago
Modeling Individual and Collaborative Problem Solving in Medical Problem-Based Learning
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
Siriwan Suebnukarn, Peter Haddawy
CD
2005
Springer
14 years 2 months ago
Modelling Deployment Using Feature Descriptions and State Models for Component-Based Software Product Families
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
Slinger Jansen, Sjaak Brinkkemper
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 9 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
Musab AlTurki, José Meseguer
PKDD
1999
Springer
130views Data Mining» more  PKDD 1999»
14 years 1 months ago
OPTICS-OF: Identifying Local Outliers
: For many KDD applications finding the outliers, i.e. the rare events, is more interesting and useful than finding the common cases, e.g. detecting criminal activities in E-commer...
Markus M. Breunig, Hans-Peter Kriegel, Raymond T. ...