1362 search results - page 264 / 273 » Model Checking Large Network Protocol Implementations |
FPGA
2004
ACM
15 years 2 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...
GLOBECOM
2008
IEEE
14 years 9 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...
114
Voted
EUMAS
2006
14 years 10 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...
JCS
2010
14 years 8 months 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...
CHI
1993
ACM
15 years 1 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...