Results 241 to 250 of about 549,692 (299)
Some of the next articles are maybe not open access.
Firewall Redundancy Rules Filtering Using Integrity Rules Checking
Advanced Science Letters, 2018Securing your network plays a very crucial role in organizations, institutions, and personal home networks. A firewall is a first network defender that located at the entrance between a private network and the public network. Firewall had this job to monitor the arriving or leaving packet into and from the network, while making a decision whether to ...
Zarina Dzolkhifli +3 more
openaire +1 more source
2017
A major challenge with designing secure integrated circuits (ICs) is the diversity of existing and emerging attacks, attack goals, and potential countermeasures. While security concerns in digital hardware design have become well known in the recent years, a framework for comprehensive vulnerability analysis at design stage of hardware development is ...
Adib Nahiyan +3 more
openaire +1 more source
A major challenge with designing secure integrated circuits (ICs) is the diversity of existing and emerging attacks, attack goals, and potential countermeasures. While security concerns in digital hardware design have become well known in the recent years, a framework for comprehensive vulnerability analysis at design stage of hardware development is ...
Adib Nahiyan +3 more
openaire +1 more source
Integration, 1987
Abstract This paper describes a parallel connection machine architecture which is capable of assisting with the DRC of VLSI circuits. Because of the systems architecture a significant performance improvement can be expected from our machine.
O.P. Traynor, J.R. Malone
openaire +1 more source
Abstract This paper describes a parallel connection machine architecture which is capable of assisting with the DRC of VLSI circuits. Because of the systems architecture a significant performance improvement can be expected from our machine.
O.P. Traynor, J.R. Malone
openaire +1 more source
The Octant Rule: Check UPFRont!
Journal of Chemical Education, 2012The importance of considering substituents in the front half of the space is demonstrated when applying the octant rule.
Ian J. McNaught, Gavin D. Peckham
openaire +1 more source
Frequency based spell checking and rule based grammar checking
2016 International Conference on Electrical, Electronics, and Optimization Techniques (ICEEOT), 2016English is a language that is spoken by around 380–420 million people on this planet and understanding it is not at all easy. The meaning of a sentence varies according to the context and the tone of the speaker. To convey the thoughts efficiently, the knowledge of the language and its various rules is very important as thoughts take the form of words ...
Shashi Pal Singh +5 more
openaire +1 more source
Model-Checking Software Library API Usage Rules
Software & Systems Modeling, 2013Modern software increasingly relies on using third-party libraries which are accessed via application programming interfaces (APIs). Libraries usually impose constraints on how API functions can be used (API usage rules) and programmers have to obey these API usage rules.
Fu Song, Tayssir Touili
openaire +1 more source
A semantic rule checking environment for building performance checking
Automation in Construction, 2011Today's construction industry relies heavily on high-performing building information modelling (BIM) systems. By deploying the Industry Foundation Classes (IFC) as a description language, these systems offer building information in a widely interoperable format, so that several applications are able to infer extra information.
P. Pauwels +6 more
openaire +1 more source
An assume-guarantee rule for checking simulation
ACM Transactions on Programming Languages and Systems, 1998The simulation preorder on state transition systems is widely accepted as a useful notion of refinement, both in its own right and as an efficiently checkable sufficient condition for trace containment. For composite systems, due to the exponential explosion of the state space, there is a need for decomposing a simulation check of the form
Thomas A. Henzinger +3 more
openaire +1 more source
New rules keep EMTALA in check
Nursing Management (Springhouse), 2003Recently proposed rules on the interpretation of EMTALA maintain the law's intention while protecting staff by limiting its ever-increasing application.
openaire +2 more sources
Classification of rules for automated BIM rule checking development
Automation in Construction, 2015Abstract Automated rule checking has been identified as potentially providing significant value to the AEC industry from both regulatory and industry perspectives. Key challenges to a successful rule checking implementation are the complexities inherent in the rules themselves and the breadth of conditions to which they need to apply.
W. Solihin, C. Eastman
openaire +1 more source