Sciweavers

3729 search results - page 419 / 746
» On Formal Modeling of Agent Computations
Sort
View
ISORC
2005
IEEE
16 years 11 days ago
Adaptable Situation-Aware Secure Service-Based (AS3) Systems
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhy...
ATAL
2005
Springer
16 years 10 days ago
Fuzzy number approach to trust in coalition environment
General trust management model that we present is adapted for ad-hoc coalition environment, rather than for classic client-supplier relationship. The trust representation used in ...
Martin Rehák, Michal Pechoucek, Petr Benda
WSC
2007
15 years 9 months ago
Modeling bioterrorism preparedness with simulation in rural healthcare system
As a result of the anthrax letter incidents in 2001, concerns about terrorists’ use of biological agents have increased dramatically at government state and federal levels. The ...
Lisa Patvivatsiri, Elliot J. Montes Jr., Ouyang Xi
NIPS
2008
15 years 8 months ago
A rational model of preference learning and choice prediction by children
Young children demonstrate the ability to make inferences about the preferences of other agents based on their choices. However, there exists no overarching account of what childr...
Christopher G. Lucas, Thomas L. Griffiths, Fei Xu,...
STOC
1998
ACM
112views Algorithms» more  STOC 1998»
15 years 11 months ago
Quantum Circuits with Mixed States
Current formal models for quantum computation deal only with unitary gates operating on “pure quantum states”. In these models it is difficult or impossible to deal formally w...
Dorit Aharonov, Alexei Kitaev, Noam Nisan