Sciweavers

77016 search results - page 462 / 15404
» Modeling Modeling
Sort
View
183
Voted
MODELS
2007
Springer
16 years 1 months ago
Introducing Variability into Aspect-Oriented Modeling Approaches
Aspect-Oriented Modeling (AOM) approaches propose to model reusable aspects, or cross-cutting concerns, that can be composed in different systems at a model or code level. Buildin...
Philippe Lahire, Brice Morin, Gilles Vanwormhoudt,...
220
Voted
TSE
2011
214views more  TSE 2011»
15 years 1 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
AMDO
2006
Springer
15 years 10 months ago
Carrying Object Detection Using Pose Preserving Dynamic Shape Models
In this paper, we introduce a framework for carrying object detection in different people from different views using pose preserving dynamic shape models. We model dynamic shape de...
Chan-Su Lee, Ahmed M. Elgammal
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
16 years 1 months ago
A systemic computation platform for the modelling and analysis of processes with natural characteristics
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
Erwan Le Martelot, Peter J. Bentley, R. Beau Lotto
APNOMS
2006
Springer
15 years 10 months ago
An Admission Control and Traffic Engineering Model for Diffserv-MPLS Networks
Abstract. This paper presents a Bandwidth Broker (BB) based admission control and traffic engineering model for Diffserv supported MPLS networks. The proposed model uses a multi-pa...
Haci A. Mantar
« Prev « First page 462 / 15404 Last » Next »