Sciweavers

132 search results - page 21 / 27
» Safraless Compositional Synthesis
Sort
View
ICECCS
2007
IEEE
89views Hardware» more  ICECCS 2007»
13 years 11 months ago
Just-in-Time Certification
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
John M. Rushby
RBAC
1998
84views more  RBAC 1998»
13 years 9 months ago
Decentralized User-role Assignment for Web-based Intranets
The intricacy of security administration is one of the most challenging problems in large networked systems. This problem is especially serious in the Web environment, which consi...
Ravi S. Sandhu, Joon S. Park
BMCBI
2011
13 years 2 months ago
Empirical Bayesian models for analysing molecular serotyping microarrays
Background: Microarrays offer great potential as a platform for molecular diagnostics, testing clinical samples for the presence of numerous biomarkers in highly multiplexed assay...
Richard Newton, Jason Hinds, Lorenz Wernisch
DATE
2003
IEEE
132views Hardware» more  DATE 2003»
14 years 28 days ago
Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupt...
AUSDM
2006
Springer
144views Data Mining» more  AUSDM 2006»
13 years 11 months ago
Mining Quantitative Association Rules in Protein Sequences
Abstract. Lot of research has gone into understanding the composition and nature of proteins, still many things remain to be understood satisfactorily. It is now generally believed...
Nitin Gupta, Nitin Mangal, Kamal Tiwari, Pabitra M...