Sciweavers

1393 search results - page 98 / 279
» Home, work, (play)
Sort
View
IEICET
2008
124views more  IEICET 2008»
15 years 6 months ago
A Secure Content Delivery System Based on a Partially Reconfigurable FPGA
We developed a content delivery system using a partially reconfigurable FPGA to securely distribute digital content on the Internet. With partial reconfigurability of a Xilinx Vir...
Yohei Hori, Hiroyuki Yokoyama, Hirofumi Sakane, Ke...
DEBU
2006
163views more  DEBU 2006»
15 years 6 months ago
Towards Activity Databases: Using Sensors and Statistical Models to Summarize People's Lives
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
Tanzeem Choudhury, Matthai Philipose, Danny Wyatt,...
JIIS
2008
104views more  JIIS 2008»
15 years 6 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
JSS
2007
104views more  JSS 2007»
15 years 6 months ago
Institutionalization of software product line: An empirical investigation of key organizational factors
A good fit between the person and the organization is essential in a better organizational performance. This is even more crucial in case of institutionalization of a software pr...
Faheem Ahmed, Luiz Fernando Capretz, Shahbaz Ali S...
MST
2010
93views more  MST 2010»
15 years 4 months ago
Atomic Congestion Games: Fast, Myopic and Concurrent
We study here the effect of concurrent greedy moves of players in atomic congestion games where n selfish agents (players) wish to select a resource each (out of m resources) so ...
Dimitris Fotakis, Alexis C. Kaporis, Paul G. Spira...