Sciweavers

77016 search results - page 395 / 15404
» Modeling
Sort
View
HASE
2007
IEEE
15 years 9 months ago
Model Validation using Automatically Generated Requirements-Based Tests
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...
GLOBECOM
2009
IEEE
15 years 9 months ago
Stochastic Network Calculus Models under Max-Plus Algebra
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
Jing Xie, Yuming Jiang
3DPVT
2004
IEEE
104views Visualization» more  3DPVT 2004»
15 years 9 months ago
Interactive Modeling from Dense Color and Sparse Depth
We are developing a system for interactive modeling of real world scenes. The acquisition device consists of a video camera enhanced with an attached laser system. As the operator...
Voicu Popescu, Elisha Sacks, Gleb Bahmutov
ECBS
2004
IEEE
153views Hardware» more  ECBS 2004»
15 years 8 months ago
Architectural Description with Integrated Data Consistency Models
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
Peter Tabeling
« Prev « First page 395 / 15404 Last » Next »