Sciweavers

1624 search results - page 71 / 325
» Modelling Variability for System Families
Sort
View
HICSS
2008
IEEE
127views Biometrics» more  HICSS 2008»
13 years 9 months ago
A Dyadic Model of Interorganizational Systems (IOS) Adoption Maturity
Interorganizational Systems (IOS) adoption requires cooperation and collaboration between trading partners and, therefore, is reliant on the nature of their relationships. There h...
Mazen Ali, Sherah Kurnia, Robert B. Johnston
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
14 years 12 days ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
CIIA
2009
13 years 9 months ago
Software Platform based Embedded Multiprocessor SoC Prototyping
This paper describes our experience in processor/threads synchronization using the POSIX API standard for MPSoC virtual applications prototyping. Spin-Lock (Binary Semaphore) imple...
Benaoumeur Senouci, Ali El Moussaoui, Bernard Goos...
WSC
2008
13 years 11 months ago
A simulation model for intensive piglet production systems
A simulation model representing the dynamics of a sow farm is presented in contrast with other approaches. To highlight relevant aspects of the model a real application for planni...
Lluis Miguel Pla Aragones, Virginia Flores Marias,...
WCRE
2008
IEEE
14 years 3 months ago
Data Model Reverse Engineering in Migrating a Legacy System to Java
Central to any legacy migration project is the translation of the data model. Decisions made here will have strong implications to the rest of the translation. Some legacy languag...
Mariano Ceccato, Thomas Roy Dean, Paolo Tonella, D...