Sciweavers

1330 search results - page 136 / 266
» Modeling components and frameworks with UML
Sort
View
123
Voted
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,...
HT
2003
ACM
15 years 9 months ago
Integrating user operations in multichannel hypermedia
Web Applications are progressively becoming multi-channel and cross-channel. The “same” service should be made available in different delivery environments and devices. A user...
Franca Garzotto, Vito Perrone
193
Voted
WOSP
1998
ACM
15 years 8 months ago
Poems: end-to-end performance design of large parallel adaptive computational systems
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo,...
168
Voted
COMMA
2010
14 years 11 months ago
Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution
Abstract. We propose an argumentation framework for modelling jury-based dispute resolution where the dispute parties present their arguments before a judge and a jury. While the j...
Phan Minh Dung, Phan Minh Thang
PAMI
1998
85views more  PAMI 1998»
15 years 4 months ago
Shape Evolution With Structural and Topological Changes Using Blending
This paper describes a framework for the estimation of shape from sparse or incomplete range data. It uses a shape representation called blending, which allows for the geometric c...
Douglas DeCarlo, Dimitris N. Metaxas