Sciweavers

5681 search results - page 777 / 1137
» A Domain Model for eParticipation
Sort
View
CL
2010
Springer
15 years 7 months ago
SystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain...
CVIU
2006
110views more  CVIU 2006»
15 years 6 months ago
Simultaneous tracking of multiple body parts of interacting persons
This paper presents a framework to simultaneously segment and track multiple body parts of interacting humans in the presence of mutual occlusion and shadow. The framework uses mu...
Sangho Park, Jake K. Aggarwal
ENTCS
2006
142views more  ENTCS 2006»
15 years 6 months ago
Predicate Diagrams for the Verification of Real-Time Systems
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
Eun-Young Kang, Stephan Merz
IJWIS
2008
150views more  IJWIS 2008»
15 years 6 months ago
COTS-based software product line development
ed Abstract: Purpose of this paper Software Product Line (SPL) is at the forefront among the techniques for reducing costs, decreasing schedule time, and ensuring commonality of fe...
Luiz Fernando Capretz, Faheem Ahmed, Shereef Al-Ma...
JSS
2006
78views more  JSS 2006»
15 years 6 months ago
An empirical study of process-related attributes in segmented software cost-estimation relationships
Parametric software effort estimation models consisting on a single mathematical relationship suffer from poor adjustment and predictive characteristics in cases in which the hist...
Juan Jose Cuadrado-Gallego, Miguel-Ángel Si...