Sciweavers

4348 search results - page 499 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
ICASSP
2010
IEEE
15 years 5 months ago
A new voice source model based on high-speed imaging and its application to voice source estimation
There are numerous models of varying complexities which seek to efficiently represent the voice source signal. These models are typically based on data and observations which can...
Yen-Liang Shue, Abeer Alwan
WISES
2003
15 years 8 months ago
Adding Hard Real-time Capabilities to CORBA
Abstract — Control systems are often software-intensive applications that are becoming extremely complex as new functionality is required. Complexity is a real engineering challe...
Thomas Losert
WSC
1994
15 years 8 months ago
Inside simulation software: how it works and why it matters
ABSTRACT This paper provides beginning and intermediate simulation practitioners and interested simulation consumers with a grounding in how discrete-event simulation software work...
Thomas J. Schriber, Daniel T. Brunner
ENTCS
2008
135views more  ENTCS 2008»
15 years 6 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
IWPC
1996
IEEE
15 years 11 months ago
A Formal Architectural Design Patterns-Based Approach to Software Understanding
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz,...