Sciweavers

3192 search results - page 343 / 639
» A Requirements-Driven Development Methodology
Sort
View
CSCWD
2009
Springer
16 years 1 months ago
Using Petri Nets to specify collaborative three dimensional interaction
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
Rafael Rieder, Marcio Sarroglia Pinho, Alberto Bar...
CSEE
2009
Springer
16 years 1 months ago
A Community of Learners Approach to Software Architecture Education
The wicked nature of software architecture calls for educational methodologies that deviate from the traditional active lecturer-passive student relation. In this paper we present...
Remco C. de Boer, Rik Farenhorst, Hans van Vliet
CSL
2009
Springer
16 years 1 months ago
Nominal Domain Theory for Concurrency
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
David Turner, Glynn Winskel
ICIC
2009
Springer
16 years 1 months ago
Solar Radiation Forecasting Using Ad-Hoc Time Series Preprocessing and Neural Networks
In this paper, we present an application of neural networks in the renewable energy domain. We have developed a methodology for the daily prediction of global solar radiation on a ...
Christophe Paoli, Cyril Voyant, Marc Muselli, Mari...
ICIC
2009
Springer
16 years 1 months ago
Ontology-Based Decision Support for Security Management in Heterogeneous Networks
Abstract. In this paper our original methodology of applying ontologybased logic into decision support system for security management in heterogeneous networks is presented. Such d...
Michal Choras, Rafal Kozik, Adam Flizikowski, Rafa...