Sciweavers

2558 search results - page 132 / 512
» Model Composition Contracts
Sort
View
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
15 years 10 months ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...
ENTCS
2007
91views more  ENTCS 2007»
15 years 4 months ago
Towards a Coordination Model for Interactive Systems
When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors pre...
Marco Antonio Barbosa, Luís Soares Barbosa,...
ACL
2010
15 years 2 months ago
Contextualizing Semantic Representations Using Syntactically Enriched Vector Models
We present a syntactically enriched vector model that supports the computation of contextualized semantic representations in a quasi compositional fashion. It employs a systematic...
Stefan Thater, Hagen Fürstenau, Manfred Pinka...
ASE
2007
143views more  ASE 2007»
15 years 4 months ago
Composition inference for UML class diagrams
Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the ga...
Ana Milanova
155
Voted
IOR
2011
152views more  IOR 2011»
14 years 11 months ago
Risk-Averse Two-Stage Stochastic Linear Programming: Modeling and Decomposition
We formulate a risk-averse two-stage stochastic linear programming problem in which unresolved uncertainty remains after the second stage. The objective function is formulated as ...
Naomi Miller, Andrzej Ruszczynski