Sciweavers

4302 search results - page 271 / 861
» Ambiguity as a resource for design
Sort
View
LICS
2006
IEEE
16 years 19 days ago
Provable Implementations of Security Protocols
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
Andrew D. Gordon
BMCBI
2007
113views more  BMCBI 2007»
15 years 6 months ago
Statistical tools for transgene copy number estimation based on real-time PCR
Background: As compared with traditional transgene copy number detection technologies such as Southern blot analysis, real-time PCR provides a fast, inexpensive and high-throughpu...
Joshua S. Yuan, Jason N. Burris, Nathan R. Stewart...
IJMSO
2007
109views more  IJMSO 2007»
15 years 6 months ago
MOQ: Web services ontologies for QoS and general quality evaluations
When describing Web services, one of the obvious aspects that needs representing is Quality of Service” (QoS), the capability of a Web service to meet an acceptable level of ser...
Henry M. Kim, Arijit Sengupta, Joerg Evermann
FPGA
2009
ACM
154views FPGA» more  FPGA 2009»
16 years 1 months ago
Synthesis of reconfigurable high-performance multicore systems
Reconfigurable high-performance computing systems (RHPC) have been attracting more and more attention over the past few years. RHPC systems are a promising solution for accelerati...
Jason Cong, Karthik Gururaj, Guoling Han
ICCCN
2007
IEEE
16 years 29 days ago
Grid Computing on Massively Multi-User Online Platform
—Large-scale online applications such as Massively Multiplayer Online Games (MMOGs) require large amount of computing resources that support many players interacting simultaneous...
Y. C. Allen Yu, Ka Lun Eddie Law