Search results for "Compliance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	Marcelo H. Ang Jr., Wei Wang, Robert N. K. Loh, Teck Seng Low	Passive Compliance from Robot Limbs and its Usefulness in Robotic Automation.	J. Intell. Robotic Syst.	1997	DBLP DOI BibTeX RDF	passive compliance, stiffness matrix, robot compliance, flexible robot
95	Alexander Teubner, Tom Feller	Informationstechnologie, Governance und Compliance.	Wirtschaftsinf.	2008	DBLP DOI BibTeX RDF	corporate compliance, frameworks, standards, information management, IT governance, IT management, IT compliance, corporate governance, IT risk management
74	Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero, Stefano Antonelli, Stephen Armitage, Richard Stevens	Managing Standards Compliance.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	software engineering standards, Software processes, compliance, software development environments, consistency management
70	JinKyu Lee 0003, H. Raghav Rao	Complexity of compliance tasks and user acceptance of G2C online compliance services.	DG.O	2008	DBLP BibTeX RDF	compliance services, task complexity, user acceptance of IT, electronic government, questionnaire surveys
67	Venkat N. Gudivada, Jagadeesh Nandigam	Corporate Compliance and its Implications to IT Professionals.	ITNG	2009	DBLP DOI BibTeX RDF	legislative compliance, corporate compliance, compliance education, Regulatory compliance
67	Stefan Sackmann, Martin Kähmer	ExPDT: Ein Policy-basierter Ansatz zur Automatisierung von Compliance.	Wirtschaftsinf.	2008	DBLP DOI BibTeX RDF	Automatisierung von Compliance, Policy-Sprache, Risikomanagement, flexibles Geschäftsprozessmanagement
67	Frederick Yip, Alfred Ka Yiu Wong, Nandan Parameswaran, Pradeep Ray	Semantic-Based Fuzzy Reasoning for Compliance Auditing.	ICSC	2008	DBLP DOI BibTeX RDF	Ontology, Compliance, Fuzzy Rules
67	Cheng-Peng Kuan, Kuu-young Young	Reinforcement Learning and Robust Control for Robot Compliance Tasks.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	compliance tasks, reinforcement learning, robust control
64	Burcu Bulgurcu, Hasan Cavusoglu, Izak Benbasat	Effects of Individual and Organization Based Beliefs and the Moderating Role of Work Experience on Insiders' Good Security Behaviors.	CSE (3)	2009	DBLP DOI BibTeX RDF
60	Carlos A. Velasco, Dimitar Denev, Dirk Stegemann, Yehya Mohamad	A web compliance engineering framework to support the development of accessible rich internet applications.	W4A	2008	DBLP DOI BibTeX RDF	EARL, imergo®, web compliance engineering, software engineering, semantic web, web accessibility, compliance, rich internet applications
60	Ahmed Awad 0001, Matthias Weidlich 0001, Mathias Weske	Specification, Verification and Explanation of Violation for Data Aware Compliance Rules.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF	Business Process Querying, Violation Explanation, Temporal Logic Querying, Compliance Checking
60	Ahmed Awad 0001, Sergey Smirnov 0002, Mathias Weske	Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF	process model parsing, process model restructuring, Business process modeling, compliance checking
60	Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori	Compliance Aware Business Process Design.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF	Process Compliance Control, Business Process Modeling, Business Process Design
60	Takashi Takuma, Shinji Hayashi, Koh Hosoda	3D bipedal robot with tunable leg compliance mechanism for multi-modal locomotion.	IROS	2008	DBLP DOI BibTeX RDF
60	Ahmed Awad 0001, Gero Decker, Mathias Weske	Efficient Compliance Checking Using BPMN-Q and Temporal Logic.	BPM	2008	DBLP DOI BibTeX RDF
60	Jie Wang 0006, James O. Leckie, Kincho H. Law, Gio Wiederhold	Distributed Information Organization and Management Framework for Regulation Compliance.	HICSS	2004	DBLP DOI BibTeX RDF
57	Michael P. Papazoglou	Making Business Processes Compliant to Standards and Regulations.	EDOC	2011	DBLP DOI BibTeX RDF	Compliance constraint detection and prevention, Compliance Request Language, Compliance patterns, Root-cause analysis, Regulatory compliance
53	Carlos Müller, Manuel Resinas, Antonio Ruiz Cortés	Explaining the Non-compliance between Templates and Agreement Offers in WS-Agreement.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF	Quality of Service, Debugging, Service Level Agreement, SLA, Explanations, WS-Agreement, Compliance Checking
53	Christopher A. Miller 0001, Peggy Wu, Vanessa Vakili, Tammy Ott, Kip Smith	Culture, Politeness and Directive Compliance.	HCI (5)	2009	DBLP DOI BibTeX RDF	etiquette, directive compliance, culture, politeness
53	Adam J. Lee, Marianne Winslett	Towards an efficient and language-agnostic compliance checker for trust negotiation systems.	AsiaCCS	2008	DBLP DOI BibTeX RDF	compliance checker, satisfying sets, policy, trust negotiation
53	Ahmad-Reza Sadeghi, Marcel Selhorst, Christian Stüble, Christian Wachsmann, Marcel Winandy	TCG inside?: a note on TPM specification compliance.	STC	2006	DBLP DOI BibTeX RDF	test, trusted computing, compliance, TPM
53	Murlikrishna Viswanathan, Young-Gyu Yang, Taeg Keun Whangbo, Nak-Bin Kim, B. Garner	Knowledge-Based Compliance Management Systems - Methodology and Implementation.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF	Automated Compliance, Transfer Pricing, Knowledge-based Systems
53	Gloria T. Lau, Shawn Kerrigan, Kincho H. Law, Gio Wiederhold	An e-government information architecture for regulation analysis and compliance assistance.	ICEC	2004	DBLP DOI BibTeX RDF	legal informatics, text mining, e-government, shallow parsing, e-rulemaking, compliance check, similarity analysis
52	Sebastian Höhn, Jan Jürjens	Rubacon: automated support for model-based compliance engineering.	ICSE	2008	DBLP DOI BibTeX RDF	user permissions, access control, security analysis
45	Sebastian Herold	Checking architectural compliance in component-based systems.	SAC	2010	DBLP DOI BibTeX RDF	architectural compliance, architectural rules, component-based software design
45	Islam Qudah, Peter Leijdekkers, Valérie Gay	Using mobile phones to improve medication compliance and awareness for cardiac patients.	PETRA	2010	DBLP DOI BibTeX RDF	ambulatory monitoring, cardiac rehabilitation, medication compliance, tele-monitoring
45	Yurdaer N. Doganata, Francisco Curbera	Effect of Using Automated Auditing Tools on Detecting Compliance Failures in Unmanaged Processes.	BPM	2009	DBLP DOI BibTeX RDF	Topics covered BPM Governance and Compliance, Management Issues and Empirical Studies, Non-traditional BPM Scenarios
45	Guido Governatori, Jörg Hoffmann 0001, Shazia Wasim Sadiq, Ingo Weber	Detecting Regulatory Compliance for Business Process Models through Semantic Annotations.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Business Process Models, Semantic Annotations, Regulatory Compliance
45	Shamimabi Paurobally, Michael J. Wooldridge	Joint Conversation Specification and Compliance.	DALT	2007	DBLP DOI BibTeX RDF	joint conversation, communicative action, compliance, intention
45	Cheng-Peng Kuan, Kuu-young Young	VR-Based Teleoperation for Robot Compliance Control.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	robot compliance control, virtual reality, teleoperation
45	Roberta Lamb	Tracing Influence through Intranets of Compliance.	HICSS	2001	DBLP DOI BibTeX RDF	informational environments, compliance, intranets, socio-technical networks
45	Tobias Anstett, Dimka Karastoyanova, Frank Leymann, Ralph Mietzner, Ganna Monakova, Daniel Schleicher, Steve Strauch	MC-Cube: Mastering Customizable Compliance in the Cloud.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
45	Igli Tashi	Regulatory Compliance and Information Security Assurance.	ARES	2009	DBLP DOI BibTeX RDF
45	Daniel Schleicher, Tobias Anstett, Frank Leymann, Ralph Mietzner	Maintaining Compliance in Customizable Process Models.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF
45	Aditya Ghose, George Koliadis	Auditing Business Process Compliance.	ICSOC	2007	DBLP DOI BibTeX RDF
45	Seppo Pahnila, Mikko T. Siponen, M. Adam Mahmood	Employees' Behavior towards IS Security Policy Compliance.	HICSS	2007	DBLP DOI BibTeX RDF
45	Mario Bravetti, Gianluigi Zavattaro	A Theory for Strong Service Compliance.	COORDINATION	2007	DBLP DOI BibTeX RDF
45	Zhensong Liao, Hai Jin 0001	A RT0-Based Compliance Checker Model for Automated Trust Negotiation.	PAISI	2007	DBLP DOI BibTeX RDF
45	Matt Blaze, Joan Feigenbaum, Martin Strauss 0001	Compliance Checking in the PolicyMaker Trust Management System.	Financial Cryptography	1998	DBLP DOI BibTeX RDF
43	Joseph Allegra	Overlooked issues of the Year 2000 upgrade.	CSMR	1997	DBLP DOI BibTeX RDF	Year 2000 upgrade, Year 2000 compliance, purchased application packages, in-house production software, test data beds, intelligently aged date fields, application test accuracy verification, application project, software maintenance, data processing, computer applications
42	Ivar Jacobson	Enough of RE Processes- Let's Do Practices.	RE	2007	DBLP DOI BibTeX RDF
42	Paul N. Otto, Annie I. Antón	Addressing Legal Requirements in Requirements Engineering.	RE	2007	DBLP DOI BibTeX RDF
42	Jan A. M. Wiegerinck	Introduction to the risk based design of safety instrumented systems for the process industry.	ICARCV	2002	DBLP DOI BibTeX RDF
41	Robert A. Martin	Year 2000 Compliance: A Discussion on Compliance Certification.	COMPSAC	1997	DBLP DOI BibTeX RDF	Y2K, leap year, date data, certification, risk, Compliance, Year 2000, Checklist
38	Bruno de Moura Araujo, Eber Assis Schmitz, Alexandre L. Correa, Antonio Juarez Alencar	A method for validating the compliance of business processes to business rules.	SAC	2010	DBLP DOI BibTeX RDF	compliance validation, UML, business process, OCL, business rules
38	Asad B. Sayeed, Soumitra Sarkar, Yu Deng 0004, Rafah Hosn, Ruchi Mahindru, Nithya Rajamani	Characteristics of document similarity measures for compliance analysis.	CIKM	2009	DBLP DOI BibTeX RDF	compliance analysis, contract template retrieval, text mining, latent semantic indexing, cosine similarity
38	Anke Gericke, Hans-Georg Fill, Dimitris Karagiannis, Robert Winter 0001	Situational method engineering for governance, risk and compliance information systems.	DESRIST	2009	DBLP DOI BibTeX RDF	risk and compliance, governance, method engineering, organizational design
38	Bram Vanderborght, Björn Verrelst, Ronald Van Ham, Michaël Van Damme, Pieter Beyl, Dirk Lefeber	Development of a compliance controller to reduce energy consumption for bipedal robots.	Auton. Robots	2008	DBLP DOI BibTeX RDF	Pneumatic artificial muscle, Torque and compliance control, Energy-efficient walking, Biped
38	T. Yang, E. R. Westervelt, James P. Schmiedeler, R. A. Bockbrader	Design and control of a planar bipedal robot ERNIE with parallel knee compliance.	Auton. Robots	2008	DBLP DOI BibTeX RDF	Bipedal robot, ERNIE, Parallel knee compliance, Energetic efficiency of walking, Design, Control, Walking
38	Jens Knodel, Daniel Popescu 0001	A Comparison of Static Architecture Compliance Checking Approaches.	WICSA	2007	DBLP DOI BibTeX RDF	access rules, architecture compliance checking, conformance rules, SAVE, software architecture, static analysis, architecture evaluation
38	Shazia Wasim Sadiq, Guido Governatori, Kioumars Namiri	Modeling Control Objectives for Business Process Compliance.	BPM	2007	DBLP DOI BibTeX RDF	Risk, Compliance, Internal Controls, Business Process Design
38	Néjib Moalla, Abdelaziz Bouras, Gilles Neubert, Yacine Ouzrout	Toward Data Compliance in Vaccine Industry: Interoperability to Align Business and Information Systems.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF	Vaccine industry, Marketing Authorizations, Interoperability, ERP, Compliance, health Information Systems
38	Liam Peyton, Max Nozin	Tracking privacy compliance in B2B networks.	ICEC	2004	DBLP DOI BibTeX RDF	information transfer registry, privacy, electronic commerce, standards, compliance, legislation
38	Michelangelo Interesse, Roberto Dabbicco	Experience Paper: Beyond Year 2000 Remediation: The Compliance Verification: A Case Study.	ICSM	1999	DBLP DOI BibTeX RDF	y2k, verification, validation, compliance, independence, year 2000
38	Kathryn W. Lilly, A. S. Melligeri	Dynamic simulation and neural network compliance control of an intelligent forging center.	J. Intell. Robotic Syst.	1996	DBLP DOI BibTeX RDF	forging automation, compliance control, neural networks, dynamic simulation, finite element models, recursive algorithms, intelligent manufacturing
38	Ping Gong 0004, Keqing He	On the Capability Compliance of Annotated Process Model.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
38	Kerstin Gerke, Jorge Cardoso 0001, Alexander Claus	Measuring the Compliance of Processes with Reference Models.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF
38	Zhitao Huang, Pavol Zavarsky, Ron Ruhl	An Efficient Framework for IT Controls of Bill 198 (Canada Sarbanes-Oxley) Compliance by Aligning COBIT 4.1, ITIL v3 and ISO/IEC 27002.	CSE (3)	2009	DBLP DOI BibTeX RDF
38	Gary Hsieh, Ian Li, Anind K. Dey, Jodi Forlizzi, Scott E. Hudson	Using visualizations to increase compliance in experience sampling.	UbiComp	2008	DBLP DOI BibTeX RDF	visualizations, empirical studies, experience sampling
38	Nikita Borisov, Soumyadeb Mitra	Restricted Queries over an Encrypted Index with Applications to Regulatory Compliance.	ACNS	2008	DBLP DOI BibTeX RDF
38	Jens Knodel, Dirk Muthig, Dominik Rost	Constructive architecture compliance checking - an experiment on support by live feedback.	ICSM	2008	DBLP DOI BibTeX RDF
38	Stefan Sackmann, Martin Kähmer, Maike Gilliot, Lutz Lowis	A Classification Model for Automating Compliance.	CEC/EEE	2008	DBLP DOI BibTeX RDF
38	Soumyadeb Mitra, Marianne Winslett, Nikita Borisov	Deleting index entries from compliance storage.	EDBT	2008	DBLP DOI BibTeX RDF
38	J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini	Audit-based compliance control.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Privacy, Access control, Policy, Audit
38	Takashi Takuma, Koh Hosoda	Controlling walking behavior of passive dynamic walker utilizing passive joint compliance.	IROS	2007	DBLP DOI BibTeX RDF
38	Ryuichi Anami, Masao Kanazawa, Shigeki Nakaura, Mitsuji Sampei	Swing up control for acrobot with compliance of high bar focused on energy interaction with each component.	IROS	2007	DBLP DOI BibTeX RDF
38	Nicholas Berente, Danail Ivanov, Betty Vandenbosch	Process Compliance and Enterprise System Implementation.	HICSS	2007	DBLP DOI BibTeX RDF
38	Frederick Yip, Nandan Parameswaran, Pradeep Ray	Rules and Ontology in Compliance Management.	EDOC	2007	DBLP DOI BibTeX RDF
38	Adomas Svirskas, Carine Courbis, Refik Molva, Justinas Bedzinskas	Compliance Proofs for Collaborative Interactions using Aspect-Oriented Approach.	IEEE SCW	2007	DBLP DOI BibTeX RDF
38	Elinor M. Madigan, Corey Petrulich, Kelly Motuk	The cost of non-compliance: when policies fail.	SIGUCCS	2004	DBLP DOI BibTeX RDF	administrative staff, network policy, network, network security, tools, malware, viruses, backup
38	Marian Florin Ursu, Robert Zirnmer	On the Notion of Compliance in Critiquing Intelligent Design Assistants: Representing Duty and Contrary-to-Duty Statements.	IV	2002	DBLP DOI BibTeX RDF
36	Paul Manuel Aviles Baker, Jarice Hanson, Avonne Bell	Municipal WiFi and policy implications for people with disabilities.	DG.O	2008	DBLP BibTeX RDF	disability divide, municipal wireless (muni WiFi), project civic access (PCA), system compliance, accessibility, policy, disabilities, compliance, policy analysis
35	Leonardo Weiss Ferreira Chaves, Erik Buchmann, Klemens Böhm	Finding misplaced items in retail by clustering RFID data.	EDBT	2010	DBLP DOI BibTeX RDF	planogram compliance, RFID, data quality, data cleaning
35	Frank Wagner 0002, Kathleen Krebs, Cataldo Mega, Bernhard Mitschang, Norbert Ritter	Towards the Design of a Scalable Email Archiving and Discovery Solution.	ADBIS	2008	DBLP DOI BibTeX RDF	Email Archiving and Discovery, Legal Compliance, Engineering for Scalability, Virtualization, Enterprise Content Management, Scale-out
35	Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind	Live sequence charts applied to hardware requirements specification and verification.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Protocol compliance, Virtual Component Interface Standard, Formal verification, Specification, Live Sequence Charts
35	Shazia Wasim Sadiq, Claude Godart, Michael zur Muehlen	Workshop PC Chairs' Message.	WISE Workshops	2007	DBLP DOI BibTeX RDF
35	P. A. C. Varley, Ralph R. Martin	Estimating depth from line drawing.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	B-rep models, sketch input
31	John-John Cabibihan, Stéphane Pattofatto, Moez Jomâa, Ahmed Benallal, Maria Chiara Carrozza	Towards Humanlike Social Touch for Sociable Robotics and Prosthetics: Comparisons on the Compliance, Conformance and Hysteresis of Synthetic and Human Fingertip Skins.	Int. J. Soc. Robotics	2009	DBLP DOI BibTeX RDF	Bio-robotics and biomedical robotics, Artificial skin, Skin compliance, Finite element method, Conformance, Hysteresis, Prosthetics
31	Rafael Accorsi, Yoshinori Sato, Satoshi Kai	Compliance-Monitor zur Frühwarnung vor Risiken.	Wirtschaftsinf.	2008	DBLP DOI BibTeX RDF	Business Compliance, Privatsphäre, Frühwarnsystem, Referenzmonitor, Risikoindikator, k-anonymity
31	Dharmalingam Ganesan, Thorsten Keuler, Yutaro Nishimura	Architecture Compliance Checking at Runtime: An Industry Experience Report.	QSIC	2008	DBLP DOI BibTeX RDF	architecture compliance checking, hierarchical colored Petri nets, run-time monitoring
31	Kioumars Namiri, Nenad Stojanovic	Using Control Patterns in Business Processes Compliance.	WISE Workshops	2007	DBLP DOI BibTeX RDF	Patterns, BPM, Regulatory Compliance, Internal Controls
31	Sepideh Ghanavati, Daniel Amyot, Liam Peyton	Towards a Framework for Tracking Legal Compliance in Healthcare.	CAiSE	2007	DBLP DOI BibTeX RDF	Health Information Custodian, Privacy Legislation, Requirements Engineering, Business Process, Compliance
31	George Yee	Visualization for privacy compliance.	VizSEC	2006	DBLP DOI BibTeX RDF	privacy legislation, visualization, privacy, compliance, e-services
31	Charles C. Nguyen, Sami S. Antrazi, J.-Y. Park, Zhen-Lei Zhou	Trajectory planning and control of a Stewart platform-based end-effector with passive compliance for part assembly.	J. Intell. Robotic Syst.	1992	DBLP DOI BibTeX RDF	passive compliance, Trajectory planning, parallel manipulator, Stewart platform
31	Mandeep Saran, Pavol Zavarsky	A Study of the Methods for Improving Internet Usage Policy Compliance.	CSE (3)	2009	DBLP DOI BibTeX RDF
31	Tiancheng Li, Xiaonan Ma, Ninghui Li	WORM-SEAL: Trustworthy Data Retention and Verification for Regulatory Compliance.	ESORICS	2009	DBLP DOI BibTeX RDF
31	Alfredo Benso, Stefano Di Carlo, Paolo Prinetto, Yervant Zorian	IEEE Standard 1500 Compliance Verification for Embedded Cores.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
31	Minh D. Nguyen, Max Thalmaier, Markus Wedler, Jörg Bormann, Dominik Stoffel, Wolfgang Kunz	Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
31	Reinaldo de Barros Correia, Luci Pirmez, Luiz F. Rust da Costa Carmo	Evaluating Security Risks following a Compliance Perspective.	HASE	2008	DBLP DOI BibTeX RDF
31	Christian Ott 0001, Andreas Kugi, Yoshihiko Nakamura	Resolving the problem of non-integrability of nullspace velocities for compliance control of redundant manipulators by using semi-definite Lyapunov functions.	ICRA	2008	DBLP DOI BibTeX RDF
31	Seung-kook Yun	Compliant manipulation for peg-in-hole: Is passive compliance a key to learn contact motion?	ICRA	2008	DBLP DOI BibTeX RDF
31	Jens Knodel, Dirk Muthig, Uwe Haury, Gerald Meier	Architecture Compliance Checking - Experiences from Successful Technology Transfer to Industry.	CSMR	2008	DBLP DOI BibTeX RDF
31	Hua Xiao 0001, Brian Chan, Ying Zou 0001, Jay W. Benayon, Bill O'Farrell, Elena Litani, Jen Hawkins	A Framework for Verifying SLA Compliance in Composed Services.	ICWS	2008	DBLP DOI BibTeX RDF
31	Qi Cui, Wenchang Shi	An Approach for Compliance Validation of Trusted Computing Applications.	WKDD	2008	DBLP DOI BibTeX RDF
31	Mario Bravetti, Gianluigi Zavattaro	Contract Compliance and Choreography Conformance in the Presence of Message Queues.	WS-FM	2008	DBLP DOI BibTeX RDF
31	Dennis Nieuwenhuisen, A. Frank van der Stappen, Mark H. Overmars	Pushing a Disk Using Compliance.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
31	Dimitris Karagiannis, John Mylopoulos, Margit Schwab	Business Process-Based Regulation Compliance: The Case of the Sarbanes-Oxley Act.	RE	2007	DBLP DOI BibTeX RDF
31	Michael A. Taylor, Aaron R. Ferber, J. Edward Colgate	Assessing the Efficacy of Variable Compliance Tactile Displays.	WHC	2007	DBLP DOI BibTeX RDF
31	Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled	A Framework for the Validation of Processor Architecture Compliance.	DAC	2007	DBLP DOI BibTeX RDF
31	Luis Antunes 0001, João Balsa, Ana Respício, Helder Coelho	Tactical Exploration of Tax Compliance Decisions in Multi-agent Based Simulation.	MABS	2006	DBLP DOI BibTeX RDF