Sciweavers

4897 search results - page 411 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
PERSUASIVE
2010
Springer
15 years 10 months ago
Activity-Based Micro-pricing: Realizing Sustainable Behavior Changes through Economic Incentives
Abstract. In this paper, we further develop the idea of combining pervasive computing techniques with electronic payment systems to create activity-based micro-incentives. Economic...
Tetsuo Yamabe, Vili Lehdonvirta, Hitoshi Ito, Hayu...
EDOC
2008
IEEE
15 years 6 months ago
A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures
This paper presents an approach for embodying nonfunctional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architec...
Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park
ACL
2010
15 years 4 months ago
Pseudo-Word for Phrase-Based Machine Translation
The pipeline of most Phrase-Based Statistical Machine Translation (PB-SMT) systems starts from automatically word aligned parallel corpus. But word appears to be too fine-grained ...
Xiangyu Duan, Min Zhang, Haizhou Li
VLSID
2002
IEEE
111views VLSI» more  VLSID 2002»
16 years 7 months ago
Application of Multi-Domain and Multi-Language Cosimulation to an Optical MEM Switch Design
This paper presents the applicability of a cosimulation methodology based on an object-oriented simulation environment, to multi-domain and multi-language systems design. This met...
Ahmed Amine Jerraya, Benoît Charlot, Gabriel...
SIGSOFT
2010
ACM
15 years 4 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby