20638 search results - page 3860 / 4128 » Network Computing |
170
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
180
click to vote
BIBM
2008
IEEE
16 years 1 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a â...
155
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We consider a convex unconstrained optimization problem that arises in a network of agents whose goal is to cooperatively optimize the sum of the individual agent objec...
163
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Many complex, real world phenomena are difï¬cult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a cost effe...
181
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...