Sciweavers

6799 search results - page 34 / 1360
» The Tao of Modeling Spaces
Sort
View
VLSISP
2008
134views more  VLSISP 2008»
13 years 9 months ago
Calibration of Abstract Performance Models for System-Level Design Space Exploration
ion of Abstract Performance Models for System-Level Design Space Exploration ANDY D. PIMENTEL, MARK THOMPSON, SIMON POLSTRA AND CAGKAN ERBAS Computer Systems Architecture Group, In...
Andy D. Pimentel, Mark Thompson, Simon Polstra, Ca...
ATAL
2003
Springer
14 years 1 months ago
Posit spaces: a performative model of e-commerce
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
Peter McBurney, Simon Parsons
SIAMIS
2008
141views more  SIAMIS 2008»
13 years 9 months ago
A Nonlinear Inverse Scale Space Method for a Convex Multiplicative Noise Model
We are motivated by a recently developed nonlinear inverse scale space method for image denoising [5, 6], whereby noise can be removed with minimal degradation. The additive noise ...
Jianing Shi, Stanley Osher
GCC
2005
Springer
14 years 3 months ago
The Architecture and Implementation of Resource Space Model System
Resource Space Model (RSM) is a semantic model to manage and share heterogeneous resources on the Internet. This paper focuses on the general architecture, physical implementation ...
Peng Shi, Yunpeng Xing, Erlin Yao, Zhen Wang, Kehu...
IFIP
2009
Springer
14 years 4 months ago
Specifying and Modelling Secure Channels in Strand Spaces
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
Allaa Kamil, Gavin Lowe