Sciweavers

315 search results - page 33 / 63
» A formal approach to software components classification and ...
Sort
View
114
Voted
ICSE
2007
IEEE-ACM
16 years 17 days ago
Plug-and-Play Architectural Design and Verification
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
118
Voted
CIKM
2011
Springer
14 years 14 days ago
Lower-bounding term frequency normalization
In this paper, we reveal a common deficiency of the current retrieval models: the component of term frequency (TF) normalization by document length is not lower-bounded properly;...
Yuanhua Lv, ChengXiang Zhai
ERCIMDL
2005
Springer
77views Education» more  ERCIMDL 2005»
15 years 6 months ago
SCOPE - A Generic Framework for XML Based Publishing Processes
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
Uwe Müller, Manuel Klatt
FORTEST
2008
15 years 2 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
112
Voted
SERA
2010
Springer
14 years 11 months ago
Process Patterns for MDA-Based Software Development
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
Mohsen Asadi, Naeem Esfahani, Raman Ramsin