Results 261 to 270 of about 16,778 (296)
Some of the next articles are maybe not open access.
Decision Procedures Customized for Formal Verification
2005The uclid verifier models a hardware or software system as an abstract state machine, where the state variables can be Boolean or integer values, or functions mapping integers to integers or Booleans. The core of the verifier consists of a decision procedure that checks the validity of formulas over the combined theories of uninterpreted functions with
Randal E. Bryant, Sanjit A. Seshia
openaire +1 more source
Customizing cooperative office procedures by planning
Conference Sponsored by ACM SIGOIS and IEEECS TC-OA on Office information systems -, 1988Cooperative office procedures coordinate the flow of information in complex distributed work, in which several office workers are involved. An approach for planning cooperative office procedures is presented, focussing on the requirements, possibilities and limitations of planning activities.
openaire +1 more source
2017
IMTS 2010 (paras. 2.19 and 8.6) recommends that information about the customs procedures applied to individual transactions be part of the data set provided by customs to the agency responsible for the compilation of trade statistics. It is good practice to include customs procedure code as an additional data field in the data set used for ...
openaire +1 more source
IMTS 2010 (paras. 2.19 and 8.6) recommends that information about the customs procedures applied to individual transactions be part of the data set provided by customs to the agency responsible for the compilation of trade statistics. It is good practice to include customs procedure code as an additional data field in the data set used for ...
openaire +1 more source
Custom Validation Procedure for Tesys Recommender System
2019 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2019Designing, implementing and validating a recommender system represents a challenge that has been tackled within many e- Learning platforms. Still, each proposed approach has to take into consideration the particular underlying data workflow and wrap-up together appropriate mechanisms (i.e., memory based, model-based or hybrid) to obtain an effective ...
Oana Maria Teodorescu +3 more
openaire +1 more source
Improvement of Customs Control over Compliance with the Conditions of the Customs Procedure
Auditor, 2023This article discusses the problems of customs control over compliance with the conditions of application of customs procedures. The directions of such control are defined. Various offenses related to the application of customs procedures and responsibility for them are considered. It is revealed that customs control over the use of goods in accordance
openaire +1 more source
Custom-cast splints for oral surgical procedures
Oral Surgery, Oral Medicine, Oral Pathology, 1974Abstract Laboratory techniques are presented for the construction of custom-cast labial and lingual splints. These techniques reduce construction time sufficiently to allow their use in emergency situations as well as more elective procedures.
J S, Brudvik +2 more
openaire +2 more sources
Anti-Dumping Procedures in the EurAsEC Customs Union [PDF]
SSRN Electronic Journal, 2014 The creation of the EurAsEC Customs Union and Russia’s ascension into the WTO has led to a radical change in Russia’s anti-dumping legislation. Anti-dumping regulation ceased to fall under national jurisdiction and was transferred to the Eurasian Economic Commission, a supranational regulator.
openaire +1 more source
An effective customization procedure with configurable standard models
Decision Support Systems, 2005In electronic catalogs, commodities such as computers and electronic equipment are specified as standard models although a variety of possible alternative specifications can exist as a combination of selected options; therefore, customized configurations are essential to support various customers with individual needs.
Lee, HJ, Lee, JK Lee, Jae Kyu
openaire +2 more sources
Content of customs procedure of customs transit
Общество: политика, экономика, право, 2021openaire +1 more source
Custom procedure trays. An overview.
Journal of hospital supply, processing, and distribution, 1985A new service industry has emerged to assemble and sterilize custom procedure trays for use in the hospital. CS and materials managers, OR supervisors, infection control practitioners and other hospital personnel are being asked to make a selection among many competing vendors.
openaire +1 more source