Sciweavers

5034 search results - page 522 / 1007
» A Content-Centric Development Process Model
Sort
View
FDL
2007
IEEE
16 years 1 months ago
An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations
Abstract This paper proposes VHDL-AMS syntax extensions that enable descriptions of AMS systems with partial differential equations. We named the extended language VHDL-AMSP. An im...
Leran Wang, Chenxu Zhao, Tom J. Kazmierski
ISSRE
2005
IEEE
16 years 14 days ago
A Novel Method for Early Software Quality Prediction Based on Support Vector Machine
The software development process imposes major impacts on the quality of software at every development stage; therefore, a common goal of each software development phase concerns ...
Fei Xing, Ping Guo, Michael R. Lyu
FASE
2008
Springer
15 years 8 months ago
Verification of Architectural Refactorings by Rule Extraction
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
TACS
1994
Springer
15 years 11 months ago
A Semantic Theory for Concurrent ML
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
Dominique Bolignano, Mourad Debbabi
ICA
2010
Springer
15 years 7 months ago
Probabilistic Latent Tensor Factorization
We develop a probabilistic modeling framework for multiway arrays. Our framework exploits the link between graphical models and tensor factorization models and it can realize any ...
Y. Kenan Yilmaz, A. Taylan Cemgil