Sciweavers

1330 search results - page 136 / 266
» Modeling components and frameworks with UML
Sort
View
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
16 years 27 days 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
16 years 2 days 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
WOSP
1998
ACM
15 years 11 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,...
COMMA
2010
15 years 1 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 6 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