Sciweavers

3830 search results - page 62 / 766
» From Reference Model to Component Model
Sort
View
FASE
2005
Springer
14 years 4 months ago
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
Genaína Nunes Rodrigues, David S. Rosenblum...
ENTCS
2007
101views more  ENTCS 2007»
13 years 11 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
DAGSTUHL
2006
14 years 11 days 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...
SIGDIAL
2010
13 years 8 months ago
Modeling User Satisfaction Transitions in Dialogues from Overall Ratings
This paper proposes a novel approach for predicting user satisfaction transitions during a dialogue only from the ratings given to entire dialogues, with the aim of reducing the c...
Ryuichiro Higashinaka, Yasuhiro Minami, Kohji Dohs...
CVPR
2009
IEEE
1037views Computer Vision» more  CVPR 2009»
15 years 6 months ago
Piecewise Planar City 3D Modeling from Street View Panoramic Sequences
City environments often lack textured areas, contain repetitive structures, strong lighting changes and therefore are very difficult for standard 3D modeling pipelines. We prese...
Branislav Micusík, Jana Kosecka