Sciweavers

2013 search results - page 142 / 403
» Happy New Year
Sort
View
VMCAI
2010
Springer
16 years 3 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
ICCD
2003
IEEE
147views Hardware» more  ICCD 2003»
16 years 3 months ago
Design Flow Enhancements for DNA Arrays
DNA probe arrays have recently emerged as one of the core genomic technologies. Exploiting analogies between manufacturing processes for DNA arrays and for VLSI chips, we demonstr...
Andrew B. Kahng, Ion I. Mandoiu, Sherief Reda, Xu ...
SOFSEM
2010
Springer
16 years 3 months ago
Web Science: The Digital-Heritage Case
Web Science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. extended abstract we examine Web Science research iss...
Guus Schreiber
ESSOS
2010
Springer
16 years 3 months ago
Idea: Opcode-Sequence-Based Malware Detection
Malware is every malicious code that has the potential to harm any computer or network. The amount of malware is increasing faster every year and poses a serious security threat. H...
Igor Santos, Felix Brezo, Javier Nieves, Yoseba K....
PAM
2009
Springer
16 years 1 months ago
PBS: Periodic Behavioral Spectrum of P2P Applications
Abstract. Due to the significant increase of peer-to-peer (P2P) traffic in the past few years, more attentions are put on designing effective methodologies of monitoring and ide...
Tom Z. J. Fu, Yan Hu, Xingang Shi, Dah-Ming Chiu, ...