Sciweavers

29143 search results - page 399 / 5829
» A Sortation System Model
Sort
View
BTW
2007
Springer
123views Database» more  BTW 2007»
16 years 28 days ago
Matching Metamodels with Semantic Systems - An Experience Report
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
Gerti Kappel, Horst Kargl, Gerhard Kramler, Andrea...
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
16 years 11 days ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
ICSM
2005
IEEE
16 years 10 days ago
Maintainability Prediction: A Regression Analysis of Measures of Evolving Systems
In order to build predictors of the maintainability of evolving software, we first need a means for measuring maintainability as well as a training set of software modules for whi...
Jane Huffman Hayes, Liming Zhao
AIS
2004
Springer
16 years 4 days ago
Continuity and Change (Activity) Are Fundamentally Related in DEVS Simulation of Continuous Systems
Abstract. The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phen...
Bernard P. Zeigler, Rajanikanth Jammalamadaka, Sal...
AUSAI
2004
Springer
16 years 4 days ago
Designing a Morphogenetic System for Evolvable Hardware
Abstract. Traditional approaches to evolvable hardware (EHW), using a direct encoding, have not scaled well with increases in problem complexity. To overcome this there have been m...
Justin Lee, Joaquin Sitte