Sciweavers

4965 search results - page 691 / 993
» A Simple Abstraction for Data Modeling
Sort
View
MPC
2004
Springer
116views Mathematics» more  MPC 2004»
16 years 2 days ago
An Injective Language for Reversible Computation
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
BPM
2003
Springer
116views Business» more  BPM 2003»
15 years 12 months ago
Use Cases as Workflows
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...
Michel R. V. Chaudron, Kees M. van Hee, Lou J. Som...
DBISP2P
2003
Springer
76views Database» more  DBISP2P 2003»
15 years 12 months ago
Trust-Aware Delivery of Composite Goods
Abstract. The vast majority of the interactions in typical online communities nowadays is between complete strangers. In such settings reputation reporting and trust management mod...
Magdalena Punceva, Karl Aberer
IPPS
1999
IEEE
15 years 11 months ago
BSP in CSP: Easy as ABC
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
Andrew C. Simpson, Jonathan M. D. Hill, Stephen R....
EMMCVPR
1999
Springer
15 years 11 months ago
Adaptive Bayesian Contour Estimation: A Vector Space Representation Approach
Abstract. We propose a vector representation approach to contour estimation from noisy data. Images are modeled as random elds composed of a set of homogeneous regions contours (bo...
José M. B. Dias