4447 search results - page 371 / 890 » Model Checking Games |
172
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
Preserving privacy during Web transactions is a major concern for individuals and organizations. One of the solutions proposed in the literature is to maintain anonymity through gr...
155
click to vote
VIIP
2001
15 years 8 months ago
2001
Abstract. Our research team is developing a computer construction game called VirtualPrismaker based on the physical game Prismakertm . We have had to deal with all typical and ess...
173
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Intrusion Detection System (IDS) is an important security enforcement tool in modern networked information systems. Obtaining an optimal IDS configuration for effective detection o...
192
click to vote
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Today's society is largely connected and many real life applications lend themselves to be modeled as multi-agent systems. Although such systems as well as their models are d...
168
click to vote
GLOBECOM
2006
IEEE
16 years 26 days ago
2006
IEEE
— Ad hoc network users are resource constrained: Before transmitting data, they have to take into account the energy expenditure involved. Even if a user is, in principle, willin...