5210 search results - page 240 / 1042 » Tools for Distributed Facilitation |
195
click to vote
RSP
2005
IEEE
16 years 24 days ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
179
click to vote
AIED
2005
Springer
16 years 23 days ago
2005
Springer
A well-known challenge of adaptive educational systems is the need to develop intelligent content, which is very time and expertise consuming. In traditional approaches a teacher i...
188
click to vote
FM
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
223
click to vote
UML
2005
Springer
16 years 21 days ago
2005
Springer
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...
216
click to vote
ACMACE
2004
ACM
16 years 20 days ago
2004
ACM
We propose a framework model to facilitate the prototyping and refinement of Massively Multi-player Online Games (MMOG), when included in the appropriate development environment....