1926 search results - page 247 / 386 » Hierarchical Peer-to-Peer Systems |
171
click to vote
KDD
2010
ACM
15 years 4 months ago
2010
ACM
Malware categorization is an important problem in malware analysis and has attracted a lot of attention of computer security researchers and anti-malware industry recently. Today...
155
click to vote
TASE
2008
IEEE
16 years 26 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
202
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
Modern grids have become very complex by their size and their heterogeneity. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from ad...
156
click to vote
HOLOMAS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...
273
click to vote
VLSI
2007
Springer
16 years 18 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...