Sciweavers

29172 search results - page 98 / 5835
» Modeling Systems in CLP
Sort
View
TITB
2010
120views Education» more  TITB 2010»
13 years 3 months ago
A distributed, collaborative intelligent agent system approach for proactive postmarketing drug safety surveillance
Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is of great importance. The current approach to postmarketing surveillance prim...
Yanqing Ji, Hao Ying, Margo S. Farber, John Yen, P...
IFIP
2010
Springer
13 years 3 months ago
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems
Abstract. This paper extends existing models for collaborative systems. We investigate how much damage can be done by insiders alone, without collusion with an outside adversary. I...
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, ...
ASPLOS
2011
ACM
13 years 16 days ago
S2E: a platform for in-vivo multi-path analysis of software systems
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
Vitaly Chipounov, Volodymyr Kuznetsov, George Cand...
CCGRID
2011
IEEE
13 years 15 days ago
Network-Friendly One-Sided Communication through Multinode Cooperation on Petascale Cray XT5 Systems
—One-sided communication is important to enable asynchronous communication and data movement for Global Address Space (GAS) programming models. Such communication is typically re...
Xinyu Que, Weikuan Yu, Vinod Tipparaju, Jeffrey S....
JCP
2008
147views more  JCP 2008»
13 years 9 months ago
Analytical Valuation of Contingent Claims by Stochastic Interacting Systems for Stock Market
In the present paper, by applying the theory of stochastic processes and interacting particle systems and models, including stopping time theory and stochastic voter model, we mode...
Jun Wang, Qiuyuan Wang, Jiguang Shao