Sciweavers

1824 search results - page 220 / 365
» Practices and Techniques for Engineering Process Capability ...
Sort
View
ICASSP
2011
IEEE
14 years 7 months ago
Convex relaxation approaches to maximum likelihood DOA estimation in ULA's and UCA's with unknown mutual coupling
Direction of arrival (DOA) estimation using sensor array superresolution techniques are known to suffer from array modeling errors including array element displacements, mutual co...
Kehu Yang, Shu Cai, Zhi-Quan Luo
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
DAGSTUHL
2006
15 years 5 months ago
Rule-based Model Extraction from Source Code
Abstract. In the context of an approach for reengineering legacy software systems at the architectural level, we present in this paper a reverse engineering methodology that uses a...
Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly...
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 1 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
UML
2001
Springer
15 years 8 months ago
On Querying UML Data Models with OCL
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
David H. Akehurst, Behzad Bordbar