Search results for "Declaration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Wanlin Gao, Hongqiang Yang, Xin Chen, Yang Ping, Zhen Li, Xinlan Jiang, Ganghong Zhang	Research and Design of Online Declaration and Approval System Based on Mvc.	CCTA	2007	DBLP DOI BibTeX RDF	declaration and approval, E-government, MVC
57	Liang Zhao 0022, Xiaojian Liu, Zhiming Liu 0001, Zongyan Qiu	Graph transformations for object-oriented refinement.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Class graph, Structure refinement, Object-orientation, Graph transformation, Normal form, Object graph
57	Tadashi Murakami	DBPowder-mdl: Mapping Description Language between Applications and Databases.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF
56	Andreas Matheus	Declaration and enforcement of fine-grained access restrictions for a service-based geospatial data infrastructure.	SACMAT	2005	DBLP DOI BibTeX RDF	object-based access restriction, spatial access control, XACML, geospatial, ACM proceedings
56	D. A. van Beek, Victor Bos, Jacobus E. Rooda	Declaration of unknowns in DAE-based hybrid system specification.	ACM Trans. Model. Comput. Simul.	2003	DBLP DOI BibTeX RDF	Consistent initial conditions, semantics, hybrid systems, initial value problem
56	João M. Fernandes, Ricardo Jorge Machado 0001	A Two-Year Software Engineering M.Sc. Degree Designed Under the Bologna Declaration Principles.	ICSEA	2006	DBLP DOI BibTeX RDF	Bologna declaration, master degree, project-led engineering education, Software engineering
56	Yanhai Li, Linyan Sun	Study and Applications of Data Mining to the Structure Risk Analysis of Customs Declaration Cargo.	ICEBE	2005	DBLP DOI BibTeX RDF	Structure of Declaration Cargo, Data mining, Customs, cluster method
46	Po-Jen Chuang, Sheng-Hsiung Yang, Chih-Shin Lin	Energy-Efficient Clustering in Wireless Sensor Networks.	ICA3PP	2009	DBLP DOI BibTeX RDF
46	Frederik De Keukelaere, Thomas DeMartini, Jeroen Bekaert, Rik Van de Walle	Supporting rights checking in an MPEG-21 Digital Item Processing environment.	ICME	2005	DBLP DOI BibTeX RDF
46	Hai-Feng Guo, Gopal Gupta 0001	Simplifying Dynamic Programming via Tabling.	PADL	2004	DBLP DOI BibTeX RDF
46	David S. Goldberg, Robert Bruce Findler, Matthew Flatt	Super and inner: together at last!	OOPSLA	2004	DBLP DOI BibTeX RDF	inner, override, super, inheritance, augment
46	Xinping Guo, James R. Cordy, Thomas R. Dean	Unique Renaming of Java Using Source Transformation.	SCAM	2003	DBLP DOI BibTeX RDF
46	Walter F. Tichy	Tichy's Response to R. W. Schwanke and G. E. Kaiser's "Smarter Recompilation".	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
45	Dominique Burger, Pierre Guillou	Towards Web Accessibility Certification: The Findings of the Support-EAM Project.	ICCHP	2006	DBLP DOI BibTeX RDF	eAccessibility, Supplier’s declaration, Quality Mark, Web accessibility, Certification, Conformity
44	Hu Liu	A Cooperation Logic for Declaration Structures.	LORI	2009	DBLP DOI BibTeX RDF	cooperation logics, propositional control, declarations
44	Jeroen Bekaert, Emiel De Kooning, Herbert Van de Sompel	Representing digital assets usingMPEG-21 Digital Item Declaration.	Int. J. Digit. Libr.	2006	DBLP DOI BibTeX RDF	MPEG-21 DID, Digital Item, Digital asset, OAI-PMH, OpenURL
44	Ian S. Burnett, Stephen J. Davis, Gerrard M. Drury	MPEG-21 digital item declaration and Identification-principles and compression.	IEEE Trans. Multim.	2005	DBLP DOI BibTeX RDF
44	Achim J. Lilienthal, Andreas Zell, Holger Ulmer, Holger Fröhlich, Andreas Stützle, Felix Werner	Gas Source Declaration with a Mobile Robot.	ICRA	2004	DBLP DOI BibTeX RDF
44	Gerhard E. Hoernes, Garth H. Foster	Declaration and Addressing of Varying Density Arrays and Structure.	SIGMOD Workshop, Vol. 1	1974	DBLP DOI BibTeX RDF	DBTG, Data structures, APL, Schema, Arrays, Data base, Addressing, Declaration, PL/I
43	Allegra Crahay, Federico Chiarelli, Miguel Alvarez Rodriguez, Ghita Ennadif, Solène Vossot, Ruben Narzul, Esther Bleys, Victoria Kalogirou	The Berlin Declaration monitoring mechanism: An assessment framework supporting the implementation of a political declaration.	ICEGOV	2022	DBLP DOI BibTeX RDF
34	Keiichi Hirota, Noboru Sonehara	Simple and Secure Authentication Escrow for Rights Trading Protocol.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
34	Florian Forster	Cost and benefit of rigorous decoupling with context-specific interfaces.	PPPJ	2006	DBLP DOI BibTeX RDF	Java-specific metrics, software engineering with Java, the Java language, tools for Java programming, optimization
34	Hai-Feng Guo	Mode-Directed Fixed Point Computation.	LPNMR	2005	DBLP DOI BibTeX RDF
34	Cyril Klimes, Hashim Habiballa	Flexible computer science university studies.	ITiCSE	2006	DBLP DOI BibTeX RDF	bologna declaration, computer science education
34	Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel	Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	semantics-based program manipulation, predictable partial evaluation, declaration of specialization opportunities, program specialization
34	Raul Hakli, Matti Nykänen, Hellis Tamm	Adding String Processing Capabilities to Data Management Systems.	SPIRE	2000	DBLP DOI BibTeX RDF	string theory, string processing capabilities, string-oriented application areas, string processing method, string handling, Alignment Declaration language, string relations, finiteness analysis, database management system, query evaluation, information retrieval systems, data management systems, computational molecular biology
34	Bernard Coulette, Sophie Marcaillou-Ebersold	View based object oriented approach for complex system modelling.	ECBS	1997	DBLP DOI BibTeX RDF	view based object oriented approach, complex system modelling, object-oriented environments, VBOOL language, view definition, viewpoint declaration, dynamic viewpoint evolution, Ariane4 vehicle equipment bay, object-oriented programming, visibility, object-oriented model, viewpoints, consistency checking, Centaur
34	Xiaoping Chen, Wei-Tek Tsai, Hai Huang 0011, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang	Omega - an integrated environment for C++ program maintenance.	ICSM	1996	DBLP DOI BibTeX RDF	C++ program maintenance, object-oriented software-specific techniques, class dependence, message dependence, declaration dependence, hierarchical C++ dependence graph construction algorithms, slicing techniques, class slicing, message slicing, constrained slicing, recursive slicing, variable slicing, condition slicing, programming environments, program slicing, regression testing, source code, integrated environment, Omega, ripple effect analysis, dependence relations
33		Event Declaration.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
33	Francisco Andrade 0001, Paulo Novais, José Neves 0001	Divergence between will and declaration in intelligent agent contracting.	ICAIL	2007	DBLP DOI BibTeX RDF
33	Chi-Hung Chi, Xiang Li, Hongguang Wang	Accelerating Web Page Retrieval Through Object Usage Declaration.	Annual Simulation Symposium	2004	DBLP DOI BibTeX RDF
33	Alan Borning, Daniel H. H. Ingalls	A Type Declaration and Inference System for Smalltalk.	POPL	1982	DBLP DOI BibTeX RDF
23	Wei Li 0006, Joseph E. Sutton, Y. Li	Integration of Chemical and Visual Sensors for Identifying an Odor Source in Near Shore Ocean Conditions.	ICMLA	2008	DBLP DOI BibTeX RDF
23	Ki Yung Ahn, Tim Sheard	Shared subtypes: subtyping recursive parametrized algebraic data types.	Haskell	2008	DBLP DOI BibTeX RDF	parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types
23	Ping Zhu, Siau-Cheng Khoo	Towards constructing reusable specialization components.	PEPM	2007	DBLP DOI BibTeX RDF	component-based software development, program specialization
23	Laurianne McLaughlin, Benjamin Alfonsi	In the News.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	Cybercorps, information assurance and security, information technology, open source software, software engineering education, open standards
23	Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos	Compound Term Composition Algebra: The Semantics.	J. Data Semantics	2005	DBLP DOI BibTeX RDF	Faceted Taxonomies, Semantics, Description Logics
23	Ana Almeida Matos, Gérard Boudol	On Declassification and the Non-Disclosure Policy.	CSFW	2005	DBLP DOI BibTeX RDF
23	Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta 0001, Miao Liu	Optimization with mode-directed preferences.	PPDP	2005	DBLP DOI BibTeX RDF	preference logic programming, tabled prolog, mode
23	Davide Ancona, Giovanni Lagorio, Elena Zucca	Jam - designing a Java extension with mixins.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Java, language design
23	Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos	The Semantics of the Compound Term Composition Algebra.	OTM	2003	DBLP DOI BibTeX RDF	Faceted Taxonomies, Semantics, Description Logics
23	Yoshida Atsushi, Fukuyasu Naoki	A Virtual File System for Source Program Editing.	APSEC	2002	DBLP DOI BibTeX RDF
23	Davide Ancona, Giovanni Lagorio, Elena Zucca	Jam - A Smooth Extension of Java with Mixins.	ECOOP	2000	DBLP DOI BibTeX RDF
23	Christian Altenschmidt, Joachim Biskup, Jürgen Freitag, Barbara Sprick	Weakly Constraining Multimedia Types Based on a Type Embedding Ordering.	Multimedia Information Systems	1998	DBLP DOI BibTeX RDF
23	Mark R. Headington	Removing implementation details from C++ class declarations.	SIGCSE	1995	DBLP DOI BibTeX RDF	C++
23	Waseem Naqvi, Mohamed T. Ibrahim	EECA: An Active Knowledge Model.	DEXA	1994	DBLP DOI BibTeX RDF	event specification, EECA, object-orientated, knowledge model, active database
23	Michael Hanus	Parametric Order-Sorted Types in Logic Programming.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
23	David R. Cheriton, Michael E. Wolf	Extensions for Multi-Module Records in Conventional Programming Languages.	POPL	1987	DBLP DOI BibTeX RDF
23	Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright	Parameter Passing in Algebraic Specification Languages.	Program Specification	1981	DBLP DOI BibTeX RDF
23	Charles W. Bachman	Why restrict the modelling capability of CODASYL data structure sets?	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
23	Po-Jen Chuang, Teng-Tai Hu	A New and Efficient Hierarchy-Based Anycast Routing Protocol for Wireless Sensor Networks.	ISPA	2010	DBLP DOI BibTeX RDF	First Declaration Wins, Location-less, Wireless sensor networks, Routing Protocols, Hierarchy, Bidirectional
23	Lasse Berntzen, Evika Karamagioli	Human Rights in the Context of the Digital Society - Input to an Ongoing Discussion on Regulatory Issues.	ICDS	2008	DBLP DOI BibTeX RDF	Digital society, Human rights, International regulations, Universal Declaration on Human Rights, e-Democracy
23	Ahmed Abdelmeged, Karl J. Lieberherr	Recursive adaptive computations using perobject visitors.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	temporary intertype declaration, aspect-oriented programming, visitor pattern
23	Ursula Fuller, Arnold Pears, June Amillo, Chris Avram, Linda Mannila	A computing perspective on the Bologna process.	ACM SIGCSE Bull.	2006	DBLP DOI BibTeX RDF	bologna declaration, standardization and curriculum issues, computer science education, Europe
23	Marko van Dooren, Eric Steegmans	Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations.	OOPSLA	2005	DBLP DOI BibTeX RDF	Cappuccino, anchored exception declaration, exception handling
23	Steffen Wettig, Eberhard Zehender	A legal analysis of human and electronic agents.	Artif. Intell. Law	2004	DBLP DOI BibTeX RDF	declaration of intention, electronic agent, electronic person, German law, law of agency, legal personality, agents, mobile agent, software agent, mobile code, representative
23	Corinne Ancourt, Thi Viet Nga Nguyen	Array resizing for scientific code debugging, maintenance and reuse.	PASTE	2001	DBLP DOI BibTeX RDF	array declaration, array region, array resizing, reverse-engineering, debug, reuse, FORTRAN, program analysis, program comprehension
23	Abdelsalam Helal, Tung-Hui Ku, Judson Fortner	Quasi-Dynamic Two-Phase Locking.	CIKM	1994	DBLP DOI BibTeX RDF	pre-declaration, adaptability, two-phase locking, resource contention, data contention
22	Enrique Orduña-Malea, Núria Bautista-Puig	Research assessment under debate: disentangling the interest around the DORA declaration on Twitter.	Scientometrics	2024	DBLP DOI BibTeX RDF
22	Akshaya Srikanth Bhagavathula, Jacques Eugene Raubenheimer	A Real-Time Infodemiology Study on Public Interest in Mpox (Monkeypox) following the World Health Organization Global Public Health Emergency Declaration.	Inf.	2023	DBLP DOI BibTeX RDF
22	Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark	A Declaration of Software Independence.	CoRR	2023	DBLP DOI BibTeX RDF
22	Enrique Orduña-Malea, Núria Bautista-Puig	Research assessment under debate: disentangling the interest around the DORA declaration on Twitter.	CoRR	2023	DBLP DOI BibTeX RDF
22	Cristina Cocito, Paul de Hert	The transformative nature of the EU Declaration on Digital Rights and Principles: Replacing the old paradigm (normative equivalency of rights).	Comput. Law Secur. Rev.	2023	DBLP DOI BibTeX RDF
22	Eligijus Sakalauskas, Antanas Bendoraitis, Dale Luksaite, Gintaras Butkus, Daiva Vitkute-Adzgauskiene	Tax Declaration Scheme Using Blockchain Confidential Transactions.	Informatica	2023	DBLP DOI BibTeX RDF
22	Davide Bacciu, Davide Morelli, Vlad Pandelea	Modeling Mood Polarity and Declaration Occurrence by Neural Temporal Point Processes.	IEEE Trans. Neural Networks Learn. Syst.	2023	DBLP DOI BibTeX RDF
22	Shuo Li, Jie Liu 0008, Haoxiang Tian, Shuai Wang, Wei Chen 0018, Liangyi Kang, Dan Ye 0004	EasyPip: Detect and Fix Dependency Problems in Python Dependency Declaration Files.	SEKE	2023	DBLP DOI BibTeX RDF
22	Urs-Vito Albrecht, Evgenii Pustozerov, Ute von Jan	Conciliation and Approval of Quality Principles for the Self-Declaration of the Quality of Health Apps.	ICIMTH	2023	DBLP DOI BibTeX RDF
22	Besnik Dragusha, Azir Aliu, Artan Luma, Kadri Sylejmani	A Comparative Study of Automated Asset Declaration Systems in Selected European Countries.	MECO	2023	DBLP DOI BibTeX RDF
22		Erratum regarding missing Declaration of Competing Interest statement in previously published article.	Comput. Educ. Artif. Intell.	2022	DBLP DOI BibTeX RDF
22	Hamzah Al-Mawali, Abdul Rahman Al Natour, Hala Zaidan, Farah Shishan, Ghaleb Abu Rumman	Examining the Factors Influencing E-Tax Declaration Usage among Academics' Taxpayers in Jordan.	Informatics	2022	DBLP DOI BibTeX RDF
22	Yuhang Liu, Wei Wei 0002, Daowan Peng, Feida Zhu 0001	Declaration-based Prompt Tuning for Visual Question Answering.	CoRR	2022	DBLP DOI BibTeX RDF
22	Chaeyoon Jeong, Sundong Kim, Jaewoo Park, Yeonsoo Choi	Customs Import Declaration Datasets.	CoRR	2022	DBLP DOI BibTeX RDF
22	Tomasz Wachowicz, Ewa Roszkowska	Can holistic declaration of preferences improve a negotiation offer scoring system?	Eur. J. Oper. Res.	2022	DBLP DOI BibTeX RDF
22	Vinícius Julião Ramos, Alexander Holmquist, Fernando Magno Quintão Pereira	Hapi: A domain-specific language for the declaration of access policies.	J. Comput. Lang.	2022	DBLP DOI BibTeX RDF
22	Lili Yang 0003, Siyun Xu, Jufang Shao, Panzhi Wang, Xianjun Wang, Qi Qi, Rongwang Yang	Declaration of conflict of interest in medical researchers: A cross-sectional study from China.	Learn. Publ.	2022	DBLP DOI BibTeX RDF
22	Hamzah Osop, Basem Suleiman, Abdallah Lakhdari	14 Days Later: Temporal Topical Shifts in Covid-19 Related Tweets After Pandemic Declaration.	HCI (14)	2022	DBLP DOI BibTeX RDF
22	Pepe Ojeda, Javier Monroy, Javier González Jiménez 0001	On Gas Source Declaration Methods for Single-Robot Search.	ISOEN	2022	DBLP DOI BibTeX RDF
22	Tianyu Li 0002, Jelle Vos, Zekeriya Erkin	Decentralized Private Freight Declaration & Tracking with Data Validation.	PerCom Workshops	2022	DBLP DOI BibTeX RDF
22	Yuhang Liu, Wei Wei 0002, Daowan Peng, Feida Zhu 0001	Declaration-based Prompt Tuning for Visual Question Answering.	IJCAI	2022	DBLP DOI BibTeX RDF
22	Mingshu He, Xiaojuan Wang, Chundong Zou, Bingying Dai, Lei Jin	A Commodity Classification Framework Based on Machine Learning for Analysis of Trade Declaration.	Symmetry	2021	DBLP DOI BibTeX RDF
22	Oliver Heger, Björn Niehaves, Henrik Kampling	The value declaration: a method for integrating human values into design-oriented research projects.	Ethics Inf. Technol.	2021	DBLP DOI BibTeX RDF
22	Fernando Cristiani, Peter Thiemann 0001	Generation of TypeScript Declaration Files from JavaScript Code.	CoRR	2021	DBLP BibTeX RDF
22	Yi Zeng 0001, Kang Sun, Enmeng Lu	Declaration on the ethics of brain-computer interfaces and augment intelligence.	AI Ethics	2021	DBLP DOI BibTeX RDF
22	Fernando Cristiani, Peter Thiemann 0001	Generation of TypeScript declaration files from JavaScript code.	MPLR	2021	DBLP DOI BibTeX RDF
22	João G. Cunha, Carlos Faria, Ana Colim, João Oliveira, Luís A. Rocha, Mãrcio Silva, Sérgio Monteiro, Estela Bicho	From Handcrafting to a Certified and Ergonomic Collaborative Workstation: the Digital Transformation Process**This work was supported by NORTE-06-3559-FSE-000018, integrated into the invitation NORTE-59-2018-41, aiming to hire highly-qualified human resources, co-financed by the Regional Operational Programme of the North 2020, thematic area of Competitiveness and Employment, through the European Social Fund (ESF). † This work was conducted according to the guidelines of the Declaration of Helsinki, and approved by the Committee of Ethics for Research in Social and Humans Sciences of the University of Minho (approval number CEICSH 095/2019). Informed consent was obtained from all subjects involved.	ISR	2021	DBLP DOI BibTeX RDF
22	Vinícius Julião, Alexander Holmquist, Flávio Lúcio, Celso Simões, Fernando Pereira	Hapi: A Domain-Specific Language for the Declaration of Access Policies.	SBLP	2021	DBLP DOI BibTeX RDF
22	Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark	A Declaration of Software Independence.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
22	Carl K. Chang, Paolo Ceravolo, Rong N. Chang, Sumi Helal, Zhi Jin, Xuanzhe Liu, Ming Hua 0003	Software Services Engineering Manifesto - A Cross-Cutting Declaration.	ICWS	2021	DBLP DOI BibTeX RDF
22	Yanrong Yan	How to Correctly Understand the Two-Step Customs Declaration Method for Foreign Trade Enterprises under the Background of Customs Inspection Integration.	IPEC	2021	DBLP DOI BibTeX RDF
22	Rehab Massoud	Evidence-Oriented Tracing and Verification, The Declaration of Timeprints		2021	RDF
22	Hui-Rang Hou, Achim J. Lilienthal, Qing-Hao Meng	Gas Source Declaration With Tetrahedral Sensing Geometries and Median Value Filtering Extreme Learning Machine.	IEEE Access	2020	DBLP DOI BibTeX RDF
22	Eiji Yamamura, Yoshiro Tsutsui	Impact of the State of Emergency Declaration for COVID-19 on Preventive Behaviors and Mental Conditions in Japan: Difference in Difference Analysis using Panel Data.	CoRR	2020	DBLP BibTeX RDF
22	Richard T. Snodgrass, Marianne Winslett	We need to automate the declaration of conflicts of interest.	Commun. ACM	2020	DBLP DOI BibTeX RDF
22	Andrew Pleasant, Catina O'Leary, Richard Carmona	Health literacy: Global advances with a focus upon the Shanghai Declaration on promoting health in the 2030 Agenda for Sustainable Development.	Inf. Serv. Use	2020	DBLP DOI BibTeX RDF
22	Tasawar Hayat, M. Waqar Ahmad, Muhammad Ijaz Khan, Ahmed Alsaedi	Entropy optimization in CNTs based nanomaterial flow induced by rotating disks: A study on the accuracy of statistical declaration and probable error.	Comput. Methods Programs Biomed.	2020	DBLP DOI BibTeX RDF
22	Muhammad Ijaz Khan, Arfan Ali, Tasawar Hayat, Ahmed Alsaedi	Entropy optimized dissipative CNTs based flow with probable error and statistical declaration.	Comput. Methods Programs Biomed.	2020	DBLP DOI BibTeX RDF
22	Amanda D. Damiano, Jennifer R. Allen Catellier	A Content Analysis of Coronavirus Tweets in the United States Just Prior to the Pandemic Declaration.	Cyberpsychology Behav. Soc. Netw.	2020	DBLP DOI BibTeX RDF
22	Markko Liutkevicius, Karl Ivory Pappel, Sidra Azmat Butt, Ingrid Pappel	Automatization of Cross-Border Customs Declaration: Potential and Challenges - A Case Study of the Estonian Customs Authority.	EGOV	2020	DBLP DOI BibTeX RDF
22	Klaus Ludwig Fuchs, Mirella Haldimann, Michael Zeltner, Alexander Ilic	Icon-based Digital Food Allergen Labels for Complementation of Text-based Declaration.	ECIS	2020	DBLP BibTeX RDF
22	Andrii Krysovatyi, Volodymyr Valihura, Inna Hutsul, Fedir Tkachyk, Volodymyr Dmytriv	Fiscal Aspects of the Functioning of the Electronic Declaration System of Citizens' Income and Property in Ukraine.	ACIT	2020	DBLP DOI BibTeX RDF