Sciweavers

22114 search results - page 325 / 4423
» Use of Models and Modelling Techniques for Service Developme...
Sort
View
UCS
2004
Springer
16 years 19 days ago
A Unified Application Service Model for ubiHome by Exploiting Intelligent Context-Awareness
Abstract. We propose a unified ubiHome application service model which provides user-centered services by exploiting intelligent context-awareness. Recently, most of research relat...
Yoosoo Oh, Woontack Woo
ICSR
2004
Springer
16 years 20 days ago
Validating Quality of Service for Reusable Software Via Model-Integrated Distributed Continuous Quality Assurance
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
Arvind S. Krishna, Douglas C. Schmidt, Atif M. Mem...
ICCV
2005
IEEE
16 years 9 months ago
A Shape-Based Segmentation Approach: An Improved Technique Using Level Sets
We propose a novel approach for shape-based segmentation based on a specially designed level set function format. This format permits us to better control the process of object re...
Hossam E. Abd El Munim, Aly A. Farag
IJCAT
2008
72views more  IJCAT 2008»
15 years 7 months ago
Capacity analysis of container terminals using simulation techniques
Modeling and simulation are essential tools for the design and analysis of container terminals. A computer model can emulate the activities at various levels of details and captur...
Shell-Ying Huang, Wen-Jing Hsu, Chuanyu Chen, Rong...
FM
2003
Springer
115views Formal Methods» more  FM 2003»
16 years 15 days ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn