Sciweavers

2177 search results - page 327 / 436
» Designing Behaviors for Information Agents
Sort
View
FTCS
1998
114views more  FTCS 1998»
15 years 7 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
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,...
CSCW
2002
ACM
15 years 6 months ago
Conventions and Commitments in Distributed CSCW Groups
Conventions are necessary to establish in any recurrent cooperative arrangement. In electronic work, they are important so as to regulate the use of shared objects. Based on empir...
Gloria Mark
ISCA
1998
IEEE
129views Hardware» more  ISCA 1998»
15 years 10 months ago
Memory System Characterization of Commercial Workloads
Commercial applications such as databases and Web servers constitute the largest and fastest-growing segment of the market for multiprocessor servers. Ongoing innovations in disk ...
Luiz André Barroso, Kourosh Gharachorloo, E...
SIGECOM
2009
ACM
111views ECommerce» more  SIGECOM 2009»
16 years 26 days ago
A qualitative vickrey auction
Restricting the preferences of the agents by assuming that their utility functions linearly depend on a payment allows for the positive results of the Vickrey auction and the Vick...
Paul Harrenstein, Mathijs de Weerdt, Vincent Conit...