908 search results - page 109 / 182 » Computational methodologies for modelling, analysis and simu... |
WWW
2010
ACM
14 years 2 months ago
2010
ACM
Access to realistic, complex graph datasets is critical to research on social networking systems and applications. Simulations on graph data provide critical evaluation of new sys...
TSP
2010
13 years 2 months ago
2010
Wireless amplify-and-forward relay networks in which the source communicates with the relays and destination in the first phase and the relays forward signals to the destination in...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...
MSWIM
2004
ACM
14 years 1 months ago
2004
ACM
Mobile networks are becoming increasingly popular as a means for distributing information to a large number of users. In comparison to wired networks, mobile networks are distingu...
AB
2007
Springer
14 years 2 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...