10159 search results - page 641 / 2032 » System Design Validation Using Formal Models |
194
click to vote
TSD
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. A formal prosody model is proposed together with its application in a text-to-speech system. The model is based on a generative of abstract prosodic functionally involved...
155
click to vote
VIP
2000
15 years 8 months ago
2000
Developing a detailed 3D conceptual spatial data model and incorporating it for visualization, is a promising method of Spatial Data Exploration for a variety of applications espe...
216
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
215
click to vote
HIPC
2005
Springer
16 years 23 days ago
2005
Springer
Graph theoretic problems are representative of fundamental computations in traditional and emerging scientific disciplines like scientific computing, computational biology and b...
178
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we propose an analytical model to capture the dynamics of the RED algorithm. We first develop a system of recursive equations that describes the packet dropping...