1362 search results - page 264 / 273 » Model Checking Large Network Protocol Implementations |
115
click to vote
FPGA
2004
ACM
15 years 7 months ago
2004
ACM
The simulation of large systems of biochemical reactions is a key part of research into molecular signaling and information processing in biological cells. However, it can be impr...
103
click to vote
GLOBECOM
2008
IEEE
15 years 2 months ago
2008
IEEE
Recently the Birkhoff-von Neumann load-balanced (LB) switch has become a promising switch design due to its high scalability properties and simple control. The performance of the L...
159
Voted
EUMAS
2006
15 years 3 months ago
2006
We present a general Multi-Agent System framework for distributed data mining based on a Peer-toPeer model. The framework adopts message-based asynchronous communication and a dyn...
120
Voted
JCS
2010
15 years 8 days ago
2010
Phishing emails usually contain a message from a credible looking source requesting a user to click a link to a website where she/he is asked to enter a password or other confide...
114
click to vote
CHI
1993
ACM
15 years 6 months ago
1993
ACM
An adaptive user interface relies, to a large extent, upon an adequate user model (e.g., a representationof user-expertise). However, building a user model may be a tedious and ti...