Sciweavers

6239 search results - page 30 / 1248
» From Zinc to Design Model
Sort
View
GECCO
2003
Springer
130views Optimization» more  GECCO 2003»
15 years 2 months ago
Extracting Test Sequences from a Markov Software Usage Model by ACO
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...
Karl Doerner, Walter J. Gutjahr
ASWC
2006
Springer
15 years 1 months ago
Transformation from OWL Description to Resource Space Model
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
Hai Zhuge, Peng Shi, Yunpeng Xing, Chao He
TOPNOC
2008
14 years 9 months ago
Constructive Alignment for Teaching Model-Based Design for Concurrency
"How can we make sure our students learn what we want them to?" is the number one question in teaching. This paper is intended to provide the reader with: i) a general a...
Claus Brabrand
ISORC
2006
IEEE
15 years 3 months ago
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation
UML through its profiling mechanism is well adapted for the modeling of real-time software requirements and designs. It is becoming the de facto standard. On the other hand, seve...
Abdelouahed Gherbi, Ferhat Khendek
ALIFE
2002
14 years 9 months ago
The View From Elsewhere: Perspectives on ALife Modeling
Many artificial life researchers stress the interdisciplinary character of the field. Against such a backdrop, this report reviews and discusses artificial life, as it is depicted ...
Michael Wheeler, Seth Bullock, Ezequiel A. Di Paol...