5210 search results - page 240 / 1042 » Tools for Distributed Facilitation |
182
click to vote
RSP
2005
IEEE
16 years 5 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...
155
click to vote
AIED
2005
Springer
16 years 4 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...
170
click to vote
FM
2005
Springer
16 years 3 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...
190
click to vote
UML
2005
Springer
16 years 2 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...
193
click to vote
ACMACE
2004
ACM
16 years 21 hour 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....