Sciweavers

3819 search results - page 363 / 764
» An Outsourcing Model of Software Development
Sort
View
SIGSOFT
2003
ACM
16 years 7 months ago
Towards scalable compositional analysis by refactoring design models
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...
CAISE
2004
Springer
16 years 4 days ago
Achieving Enterprise Model Interoperability through the Model-Based Architecture Framework for Enterprises
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...
Håvard D. Jørgensen, Oddrun Pauline O...
BMCBI
2010
118views more  BMCBI 2010»
15 years 6 months ago
Predicting nucleosome positioning using a duration Hidden Markov Model
Background: The nucleosome is the fundamental packing unit of DNAs in eukaryotic cells. Its detailed positioning on the genome is closely related to chromosome functions. Increasi...
Liqun Xi, Yvonne Fondufe-Mittendorf, Lei Xia, Jare...
SIGSOFT
2003
ACM
15 years 12 months ago
Modeling and validation of service-oriented architectures: application vs. style
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
Luciano Baresi, Reiko Heckel, Sebastian Thöne...
WSC
2007
15 years 9 months ago
Construction noise prediction and barrier optimization using special purpose simulation
Construction projects produce serious environmental pollution and great annoyance to the neighbouring community due to construction noise. This paper presents an application of th...
Anupama Gannoruwa, Janaka Y. Ruwanpura