4311 search results - page 762 / 863 » Code Generation for Distributed Systems |
107
Voted
CORR
2008
Springer
15 years 23 days ago
2008
Springer
: Wireless sensor/actuator networks (WSANs) are emerging as a new generation of sensor networks. Serving as the backbone of control applications, WSANs will enable an unprecedented...
89
Voted
CN
2007
15 years 21 days ago
2007
As next-generation computer worms may spread within minutes to millions of hosts, protection via human intervention is no longer an option. We discuss the implementation of SweetB...
123
Voted
IJCSA
2006
15 years 21 days ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
104
click to vote
JBI
2008
15 years 20 days ago
2008
The complexity of quantitative biomedical models, and the rate at which they are published, is increasing to a point where managing the information has become all but impossible w...
106
Voted
CPHYSICS
2007
15 years 20 days ago
2007
A new method was proposed by Mongan et al for constant pH molecular dynamics simulation and was implemented in AMBER 8 package. Protonation states are modeled with different char...