BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (13)
model (7)
base (7)
control (6)
integr (5)

Stem compliant$ (all stems)

53 papers:

AdaEuropeAdaEurope-2015-PerezGTT #clustering #concept #manycore #safety
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning (JP, DG, ST, TT), pp. 3–17.
MoDELSMoDELS-2015-FoucheNGE #diagrams #generative #modelling #standard #tool support
Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.
CAiSECAiSE-2014-Dubois #information management
Information Systems for the Governance of Compliant Service Systems (ED0), pp. 1–11.
CASECASE-2013-NammotoKH #assembly #modelling #using
Model-based compliant motion control scheme for assembly tasks using vision and force information (TN, KK, KH), pp. 948–953.
CASECASE-2013-Xu #robust
New robust position and force regulation for a compliant microgripper (QX), pp. 801–806.
DACDAC-2013-Du0SSLMW #self
Spacer-is-dielectric-compliant detailed routing for self-aligned double patterning lithography (YD, QM, HS, JS, GLP, AM, MDFW), p. 6.
ICDARICDAR-2013-CutterM #documentation #image #realtime
Real Time Camera Phone Guidance for Compliant Document Image Acquisition without Sight (MPC, RM), pp. 408–412.
SACSAC-2013-BeckersFHHC #development
Common criteria compliant software development (CC-CASD) (KB, SF, DH, MH, IC), pp. 1298–1304.
CASECASE-2012-TangLY #nondeterminism #using
Tracking control of a compliant XY nano-positioner under plant uncertainty using a transfigured loop-shaping H∞ controller (HT, YL, QY), pp. 103–108.
ICEISICEIS-v2-2012-ParreirasGW #approach #linked data #modelling #ontology #open data
An Ontology-based Approach for Enabling Linked Data Capabilities to MOF Compliant Models (FSP, GG, TW), pp. 126–131.
ICMLICML-2012-KalakrishnanRPS #learning #policy
Learning Force Control Policies for Compliant Robotic Manipulation (MK, LR, PP, SS), p. 10.
SACSAC-2012-YaichBJP #adaptation #community #trust
An adaptive and Socially-Compliant Trust Management System for virtual communities (RY, OB, PJ, GP), pp. 2022–2028.
ICSTSAT-2012-CorziliusLJA #named
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox — (Tool Presentation) (FC, UL, SJ, ), pp. 442–448.
GCMGCM-2010-BottoniFP11 #constraints #incremental #policy
Incremental update of constraint-compliant policy rules (PB, AF, FPP).
EDOCEDOC-2011-Papazoglou #process #standard
Making Business Processes Compliant to Standards and Regulations (MPP), pp. 3–13.
DATEDATE-2010-LakshmananBR #analysis
Integrated end-to-end timing analysis of networked AUTOSAR-compliant systems (KL, GB, RR), pp. 331–334.
DATEDATE-2010-MelloMGP #parallel #simulation
Parallel simulation of systemC TLM 2.0 compliant MPSoC on SMP workstations (AM, IM, AG, FP), pp. 606–609.
ICSEICSE-2010-SongHCSM #modelling #representation #runtime
SM@RT: representing run-time system data as MOF-compliant models (HS, GH, FC, YS, HM), pp. 303–304.
HCIHCI-VAD-2009-DeickeMP #development #editing #interactive
A Web-Based, Interactive Annotation Editor for the eCampus Development Environment for SCORM Compliant E-Learning Modules (BD, JTM, HMP), pp. 88–93.
HCIHCI-VAD-2009-PohlDM #generative #ide #multi
From Paper to Module — An Integrated Environment for Generating SCORM Compliant Moodle Courses Out of Text and Multimedia Elements (HMP, BD, JTM), pp. 196–203.
CAiSECAiSE-2008-SaekiK #elicitation #requirements
Supporting the Elicitation of Requirements Compliant with Regulations (MS, HK), pp. 228–242.
CASECASE-2007-RajruangrabinP
Enhancement of Manipulator Interactivity through Compliant Skin and Extended Kalman Filtering (JR, DOP), pp. 1111–1116.
CASECASE-2007-SomesBN #automation
Overcoming Traditional Automation Limitations Through Compliant Control and Contact Sensing (SDS, DJB, WSN), pp. 295–299.
DATEDATE-2007-GailliardNSV #modelling #transaction
Transaction level modelling of SCA compliant software defined radio waveforms and platforms PIM/PSM (GG, EN, MS, FV), pp. 966–971.
VLDBVLDB-2007-SionW #data transformation
Regulatory-Compliant Data Management (RS, MW), pp. 1433–1434.
MODELSMoDELS-2007-ZoughbiBL #safety #uml
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.
MODELSMoDELS-2007-ZoughbiBL #safety #uml
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.
SACSAC-2007-ErcheWH #modelling #qvt #visual notation
Mapping visual notations to MOF compliant models with QVT relations (ME, MW, CH), pp. 1037–1038.
HPDCHPDC-2007-ByunJK #adaptation #reliability #resource management #scalability #towards
Towards adaptive, scalable, and reliable resource provisioning for wsrf-compliant applications (EKB, JWJ, JSK), pp. 217–218.
DATEDATE-DF-2006-KaruriLAMK #composition #design #float #implementation
Design and implementation of a modular and portable IEEE 754 compliant floating-point unit (KK, RL, GA, HM, MK), pp. 221–226.
VLDBVLDB-2006-MitraHW #keyword
Trustworthy Keyword Search for Regulatory-Compliant Record Retention (SM, WWH, MW), pp. 1001–1012.
AdaEuropeAdaEurope-2006-UruenaZBPP #communication #distributed #protocol #realtime
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems (SU, JZ, DB, JAP, JAdlP), pp. 215–226.
EDOCEDOC-2006-MilosevicSO #contract #process
Translating business contract into compliant business processes (ZM, SWS, MEO), pp. 211–220.
ECMFAECMDA-FA-2006-AmelunxenKRS #framework #graph transformation #metamodelling #named #standard
MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations (CA, AK, TR, AS), pp. 361–375.
CBSECBSE-2005-DiazGRRST #kernel
A CCA-compliant Nuclear Power Plant Simulator Kernel (MD, DG, SR, BR, ES, JMT), pp. 283–297.
CASECASE-2005-LiX #2d #design #novel #parallel
Optimal design of a novel 2-DOF compliant parallel micromanipulator for nanomanipulation (YL, QX), pp. 118–123.
DACDAC-2005-UrardPGMLYG
A 135Mbps DVB-S2 compliant codec based on 64800-bit LDPC and BCH codes (ISSCC paper 24.3) (PU, LP, PG, TM, VL, EY, BG), pp. 547–548.
CAiSECAiSE-2005-Vanderdonckt #information management #user interface
A MDA-Compliant Environment for Developing User Interfaces of Information Systems (JV), pp. 16–31.
DATEDATE-v1-2004-BenabdenbiGPVT #named #testing
STEPS: Experimenting a New Software-Based Strategy for Testing SoCs Containing P1500-Compliant IP Cores (MB, AG, FP, EV, MT), pp. 712–713.
DATEDATE-2005-BernardiMQR04 #approach #logic #testing #using
Testing Logic Cores using a BIST P1500 Compliant Approach: A Case of Study (PB, GM, FQ, MSR), pp. 228–233.
CAiSECAiSE-2004-TsinarakiPC #integration #ontology #owl #semantics
Integration of OWL Ontologies in MPEG-7 and TV-Anytime Compliant Semantic Indexing (CT, PP, SC), pp. 398–413.
SACSAC-2004-AgiusA #metadata #modelling #video
Modelling and filtering of MPEG-7-compliant meta-data for digital video (HWA, MCA), pp. 1248–1252.
SACSAC-2004-HoodaDS #health
Health Level-7 compliant clinical patient records system (JSH, ED, RS), pp. 259–263.
DocEngDocEng-2003-KuoWS #constraints #editing #xml
Handling syntactic constraints in a DTD-compliant XML editor (YSK, JW, NCS), pp. 222–224.
ICSEICSE-2003-CasagniL #comparison #component #framework #multi
Comparison of Two Component Frameworks: The FIPA-Compliant Multi-Agent System and The Web-Centric J2EE Platform (MC, ML), pp. 341–351.
DATEDATE-2002-LevantR #design
An EMC-Compliant Design Method of High-Density Integrated Circuits (JLL, MR), p. 1115.
DACDAC-2001-Dervisoglu #architecture #data access
A Unified DFT Architecture for Use with IEEE 1149.1 and VSIA/IEEE P1500 Compliant Test Access Controllers (BID), pp. 53–58.
CIKMCIKM-2000-SmithWSP #architecture #database #named #parallel
Polar: An Architecture for a Parallel ODMG Compliant Object Database (JS, PW, SdFMS, NWP), pp. 352–359.
TOOLSTOOLS-ASIA-2000-YongLJJ #corba #transaction
OTMS-A CORBA-Compliant Object Transaction Management System (QY, ML, ZJ, SJ), pp. 126–133.
HPDCHPDC-2000-TanakaHSNS #clustering #evaluation #performance
Performance Evaluation of a Firewall-Compliant Globus-based Wide-Area Cluster System (YT, MH, MS, HN, SS), pp. 121–128.
VLDBVLDB-1997-ChavdaW #query #towards #visual notation
Towards an ODMG-Compliant Visual Object Query Language (MC, PTW), pp. 456–465.
CIKMCIKM-1997-TeschW #multi #transaction
Global Nested Transaction Management for ODMG-Compliant Multi-Database Systems (TT, JW), pp. 67–74.
TOOLSTOOLS-ASIA-1997-XiaogangLH #corba #distributed #framework #named
YHCS2: A CORBA-Compliant Distributed C/S Computing Platform (HX, XL, HW), pp. 374–378.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.