Sciweavers

1975 search results - page 161 / 395
» Property analysis and design understanding
Sort
View
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 1 months ago
Dynamics of Profit-Sharing Games
An important task in the analysis of multiagent systems is to understand how groups of selfish players can form coalitions, i.e., work together in teams. In this paper, we study t...
John Augustine, Ning Chen, Edith Elkind, Angelo Fa...
IV
2008
IEEE
90views Visualization» more  IV 2008»
16 years 1 months ago
Identifying Event Impacts by Monitoring the News Media
Assessing the potential property and social impacts of an event, such as tornado or wild fire, continues to be a challenging research area. From financial markets to disaster mana...
Robert M. Patton, Thomas E. Potok
FROCOS
2007
Springer
16 years 26 days ago
Combining Algorithms for Deciding Knowledge in Security Protocols
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Mathilde Arnaud, Véronique Cortier, St&eacu...
JIB
2007
136views more  JIB 2007»
15 years 6 months ago
SABIO-RK: A data warehouse for biochemical reactions and their kinetics
Systems biology is an emerging field that aims at obtaining a system-level understanding of biological processes. The modelling and simulation of networks of biochemical reactions...
Olga Krebs, Martin Golebiewski, Renate Kania, Saqi...
ASUNAM
2010
IEEE
14 years 10 months ago
A Study on Social Network Metrics and Their Application in Trust Networks
Social network analysis has recently gained a lot of interest because of the advent and the increasing popularity of social media, such as blogs, social networks, microblogging, o...
Iraklis Varlamis, Magdalini Eirinaki, Malamati D. ...