Search results for "essence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	David G. Mitchell, Eugenia Ternovska	Expressive power and abstraction in Essence.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Essence, Constraint modelling languages, Model expansion, Abstraction, Expressive power, Descriptive complexity
45	Oliver Kautz, Alexander Roth 0004, Bernhard Rumpe	Achievements, Failures, and the Future of Model-Based Software Engineering.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Manfred Broy	The Leading Role of Software and Systems Architecture in the Age of Digitization.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Harald C. Gall, Carol V. Alexandru, Adelina Ciurumelea, Giovanni Grano, Christoph Laaber, Sebastiano Panichella, Sebastian Proksch, Gerald Schermann, Carmine Vassallo, Jitong Zhao	Data-Driven Decisions and Actions in Today's Software Development.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Ivar Jacobson, Roly Stimson	Escaping Method Prison - On the Road to Real Software Engineering.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Richard N. Taylor	Only the Architecture You Need.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Alfred Bröckers	Variability in Standard Software Products - Introducing Software Product Line Engineering totheInsurance Industry.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Angela Carell, Kim Lauenroth, Dirk Platz	Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation: A Motivation and an Experience Report.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Klaus Pohl, Andreas Metzger	Software Product Lines.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Stefan Nastic, Schahram Dustdar	Towards Deviceless Edge Computing: Challenges, Design Aspects, and Models for Serverless Paradigm at the Edge.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Leon J. Osterweil	What is software?: - The Role of Empirical Methods in Answering the Question.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Carlo Ghezzi	Formal Methods and Agile Development: Towards a Happy Marriage.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Wilhelm Hasselbring	Software Architecture: Past, Present, Future.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Manfred Reichert	Enabling Flexible and Robust Business Process Automation for the Agile Enterprise.	The Essence of Software Engineering	2018	DBLP DOI BibTeX RDF
45	Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough (eds.)	The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Mads Rosendahl	Simple Driving Techniques.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Sergei M. Abramov, Robert Glück	Principles of Inverse Computation and the Universal Resolving Algorithm.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Hanne Riis Nielson, Flemming Nielson	Flow Logic: A Multi-paradigmatic Approach to Static Analysis.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Arto Salomaa	Synchronization of Finite Automata: Contributions to an Old Problem.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Mads Sig Ager, Olivier Danvy, Mayer Goldberg	A Symmetric Approach to Compilation and Decompilation.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Michael Leuschel	Homeomorphic Embedding for Online Termination of Symbolic Methods.	The Essence of Computation	2002	DBLP DOI BibTeX RDF	Specialisation and Transformation, Functional & Logic Programming, Infinite Model Checking, Logic Programming, Program Analysis, Termination, Metaprogramming, Well-quasi orders
45	Amir M. Ben-Amram	General Size-Change Termination and Lexicographic Descent.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Michael Codish, Harald Søndergaard	Meta-circular Abstract Interpretation in Prolog.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Yoshihiko Futamura, Zenjiro Konishi, Robert Glück	WSDFU: Program Transformation System Based on Generalized Partial Computation.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	David Sands 0001, Jörgen Gustavsson, Andrew Moran	Lambda Calculi and Linear Speedups.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath	Flow Analysis: Games and Nets.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Morten Heine Sørensen, Jens P. Secher	From Type Inference to Configuration.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Thomas P. Jensen	Types in Program Analysis.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær	The Abstraction and Instantiation of String-Matching Programs.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Linda Morales, Ivan Hal Sudborough	Comparing Star and Pancake Networks.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby	Foundations of the Bandera Abstraction Tools.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	John Hannan	On Extracting Static Semantics.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	David A. Schmidt	Structure-Preserving Binary Relations for Program Abstraction.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
45	Peter Sestoft	Demonstrating Lambda Calculus Reduction.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
44	Essence J. Stevenson, Roger B. Sidje	A Tensor Decomposition in Multi-Way Electroencephalogram (EEG) Data Analysis.	CSCI	2022	DBLP DOI BibTeX RDF
44	Taylor M. Kessner, Joshua Littenberg-Tobias, Katrina Kennett, Sarah J. Kaka, Anthony Tuf Francis, G. R. Marvez, Justin Reich, Essence Smith	Facilitating Discussion of Controversial Issues: Digital Practice Space.	ICLS	2020	DBLP BibTeX RDF
44	Geoffrey T. Stano, Leigh Sinclair, Essence Raphael, Sherry Harrison, Michael Peterson, Steven Goodman 0002	Supporting Lightning Safety and Decision Support at the NASA Global Hydrology Resource Center Distributed Active Archive Center.	IGARSS	2020	DBLP DOI BibTeX RDF
40	Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel	Essence : A constraint language for specifying combinatorial problems.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Specification languages, Constraint programming, Combinatorial problems, Constraint languages, Constraint modelling
40	Ian P. Gent, Ian Miguel, Andrea Rendl	Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion.	SARA	2007	DBLP DOI BibTeX RDF
38	Xuedong Wang, Daozhi Chen	Research on e-business management thought.	ICEC	2005	DBLP DOI BibTeX RDF	e-business management thought, essence, three-dimensional viewpoint
35	Dara Hallinan	The Essence of Data Protection: Essence as a Normative Pivot.	Eur. J. Law Technol.	2021	DBLP BibTeX RDF
35	Maëlys Jusseaux	A la recherche de l'Expérience Numineuse Patrimoniale (ENP) : exploration d'une essence du patrimoine grâce aux technologies de l'interactivité et de l'immersion. (Seeking the Numinous Heritage Experience (NHE) : exploring an essence of cultural heritage with interactive and immersive technologies).		2021	RDF
35	Nestori Syynimaa	Essence: Reference Architecture for Software Engineering - Representing Essence in Archimate Notation.	ICEIS (2)	2018	DBLP DOI BibTeX RDF
35	Yagup Macit, Çagdas Üsfekes, Ahsen Ikbal Aytekin, Eray Tüzün	Essence Surec Modelleme Cercevesi icin Otomasyon Yazilimi Gelistirme Deneyimi(Development Experience in Automation Software for Essence Process Modeling Framework).	UYMS	2017	DBLP BibTeX RDF
35	Jöran Pieper	Discovering the essence of Software Engineering an integrated game-based approach based on the SEMAT Essence specification.	EDUCON	2015	DBLP DOI BibTeX RDF
33	Ivan Aaen	Essence: Facilitating Agile Innovation.	XP	2008	DBLP DOI BibTeX RDF	Software innovation
33	Leonid Kompanets	Sketch of Autopoietic Essence of Computing and KnowledgeWorking.	ICAISC	2006	DBLP DOI BibTeX RDF
33	Massimo Ancona, Walter Cazzola	Implementing the essence of reflection: a reflective run-time environment.	SAC	2004	DBLP DOI BibTeX RDF	reflection, compiler construction, run-time environment
31	Le Dong, Ebroul Izquierdo	A Knowledge Synthesizing Approach for Classification of Visual Information.	VISUAL	2007	DBLP DOI BibTeX RDF	essence map, knowledge synthesizing, classification
30	Darren R. Hardy, Michael F. Schwartz	Customized Information Extraction as a Basis for Resource Discovery.	ACM Trans. Comput. Syst.	1996	DBLP DOI BibTeX RDF	Internet, resource discovery, distributed indexing
25	Steven Fraser 0001, Frederick P. Brooks Jr., Martin Fowler, Ricardo López, Aki Namioka, Linda M. Northrop, David Lorge Parnas, Dave A. Thomas	"No silver bullet" reloaded: retrospective on "essence and accidents of software engineering".	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	design, complexity, software, silver bullet
25	Gavin M. Bierman, Erik Meijer 0001, Wolfram Schulte	The Essence of Data Access in Comega.	ECOOP	2005	DBLP DOI BibTeX RDF
25	Pascal Costanza	Dynamically scoped functions as the essence of AOP.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
25	David A. Naumann	On the Essence of Oberon.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
23	Jan L. G. Dietz	Deriving Use Cases from Business Process Models.	ER	2003	DBLP DOI BibTeX RDF
17	Filip Sieczkowski, Sergei Stepanenko, Jonathan Sterling, Lars Birkedal	The Essence of Generalized Algebraic Data Types.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
17	Amin Timany, Armaël Guéneau, Lars Birkedal	The Logical Essence of Well-Bracketed Control Flow.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
17	Jochem Nelen, Miguel Carmena-Bargueño, Carlos Martinez-Cortes, Alejandro Rodríguez-Martínez, José Manuel Villalgordo-Soto, Horacio Pérez Sánchez	ESSENCE-Dock: A Consensus-Based Approach to Enhance Virtual Screening Enrichment in Drug Discovery.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
17	Christopher D. Nordquist, Stanley S. Chou	Exploring Heterogeneous Integration: Its Essence and Future Path.	Computer	2024	DBLP DOI BibTeX RDF
17	Xinpeng Wang, Shitong Duan, Xiaoyuan Yi, Jing Yao, Shanlin Zhou, Zhihua Wei, Peng Zhang, Dongkuan Xu, Maosong Sun 0001, Xing Xie 0001	On the Essence and Prospect: An Investigation of Alignment Approaches for Big Models.	CoRR	2024	DBLP DOI BibTeX RDF
17	Yanhong A. Liu	Incremental Computation: What Is the Essence? (Invited Contribution).	PEPM	2024	DBLP DOI BibTeX RDF
17	Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan 0001, Chang Xu 0001, Xiaoxing Ma, Yue Li 0006	The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
17	Shuk Kwan Tang, Mimi Mun Yee Tse, Sau Fong Leung, Theofanis Fotis	Integrating The essence of online learning to facilitate research during COVID-19.	Interact. Learn. Environ.	2023	DBLP DOI BibTeX RDF
17	Bettina Lehtelä	Exploring the Essence of Continuous Experimentation: Minimum Prerequisites for Light-Weight CE.	ACM SIGSOFT Softw. Eng. Notes	2023	DBLP DOI BibTeX RDF
17	Claudia Elena Durango Vanegas, Juan Camilo Giraldo Mejía, Fabio Alberto Vargas Agudelo, Dario Enrique Soto Duran	A Representation Based on Essence for the CRISP-DM Methodology.	Computación y Sistemas (CyS)	2023	DBLP BibTeX RDF
17	Xiaoxuan Yang, Huanrui Yang, Janardhan Rao Doppa, Partha Pratim Pande, Krishnendu Chakrabarty, Hai Li 0001	ESSENCE: Exploiting Structured Stochastic Gradient Pruning for Endurance-Aware ReRAM-Based In-Memory Training Systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
17	Denis O. Zmeev, Oleg A. Zmeev, Lidiya S. Ivanova	Antipattern Practice for Essence Practice Library.	Program. Comput. Softw.	2023	DBLP DOI BibTeX RDF
17	Shiran Liu, Zhaoqiang Guo, Yanhui Li, Chuanqi Wang, Lin Chen 0015, Zhongbin Sun, Yuming Zhou, Baowen Xu	Inconsistent Defect Labels: Essence, Causes, and Influence.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
17	Yanhong A. Liu	Incremental Computation: What Is the Essence?	CoRR	2023	DBLP DOI BibTeX RDF
17	Guopeng Li, Victor L. Knoop, J. W. C. van Lint	Distil the informative essence of loop detector data set: Is network-level traffic forecasting hungry for more data?	CoRR	2023	DBLP DOI BibTeX RDF
17	Bowen Lei, Dongkuan Xu, Ruqi Zhang, Shuren He, Bani K. Mallick	Balance is Essence: Accelerating Sparse Training via Adaptive Gradient Correction.	CoRR	2023	DBLP DOI BibTeX RDF
17	José Espírito Santo, Filipa Mendes	The Logical Essence of Compiling With Continuations.	CoRR	2023	DBLP DOI BibTeX RDF
17	Lorenzo Catani, Matthew Leifer, David Schmid, Robert W. Spekkens	Why interference phenomena do not capture the essence of quantum theory.	Quantum	2023	DBLP DOI BibTeX RDF
17	Mairead O'Connor, Kieran Conboy, Denis Dennehy	Time is of the essence: a systematic literature review of temporality in information systems development research.	Inf. Technol. People	2023	DBLP DOI BibTeX RDF
17	Edlyn V. Levine	Cargo Cult AI: Is the ability to think scientifically the defining essence of intelligence?	ACM Queue	2023	DBLP DOI BibTeX RDF
17	Balbir S. Barn, Tony Clark 0001, Souvik Barat, Vinay Kulkarni	Towards the Essence of Specifying Sociotechnical Digital Twins.	ISEC	2023	DBLP DOI BibTeX RDF
17	José Espírito Santo, Filipa Mendes	The Logical Essence of Compiling with Continuations.	FSCD	2023	DBLP DOI BibTeX RDF
17	Paolo Ciancarini, Marcello Missiroli	Education to Agile: Fostering Team Awareness with Essence.	FISEE	2023	DBLP DOI BibTeX RDF
17	Shivatmica Murgai	From Looks to Essence: A Shift in Perspective With Physical Appearance Debiasing.	NL4AI@AI*IA	2023	DBLP BibTeX RDF
17	Juanjuan Li, Xiaolong Liang, Rui Qin 0002, Fei-Yue Wang 0001	From DAO to TAO: Finding The Essence of Decentralization.	SMC	2023	DBLP DOI BibTeX RDF
17	Jean-Marie Favre, Raquel Araújo de Oliveira, Jean-Sébastien Sottet, Marc Quast	In Search of the Essence of No-Code - Elements of Data Modeling.	MoDELS (Companion)	2023	DBLP DOI BibTeX RDF
17	Ridwan Mahbub, Ifrad Khan, Samiha Anuva, Md Shahriar, Md. Tahmid Rahman Laskar, Sabbir Ahmed	Unveiling the Essence of Poetry: Introducing a Comprehensive Dataset and Benchmark for Poem Summarization.	EMNLP	2023	DBLP DOI BibTeX RDF
17	Suhaili Din, Maisarah Mohd Ramli	Ramadan Spirit: A Digital Game Incorporating Malaysian Culture to Teach Malaysian Muslim Children the Islamic Essence of Ramadan.	IMCOM	2023	DBLP DOI BibTeX RDF
17	Ivan Perez 0001, Frank Dedden	The Essence of Reactivity.	Haskell	2023	DBLP DOI BibTeX RDF
17	Philip Dexter, Yu David Liu, Kenneth Chiu	The essence of online data processing.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
17	Pedro Jácome de Moura Jr.	Is data science a science? The essence of phenomenon and the role of theory in the emerging field.	Kybernetes	2022	DBLP DOI BibTeX RDF
17	Peter Cariani, Janet M. Baker	Time Is of the Essence: Neural Codes, Synchronies, Oscillations, Architectures.	Frontiers Comput. Neurosci.	2022	DBLP DOI BibTeX RDF
17	José L. Medina-Franco, Edgar López-López	The Essence and Transcendence of Scientific Publishing.	Frontiers Res. Metrics Anal.	2022	DBLP DOI BibTeX RDF
17	Athel Cornish-Bowden, María Luz Cárdenas	The essence of life revisited: how theories can shed light on it.	Theory Biosci.	2022	DBLP DOI BibTeX RDF
17	Andreas Ditter	Essence and Necessity.	J. Philos. Log.	2022	DBLP DOI BibTeX RDF
17	Hsuan-Min Wang, Chia-Yuan Hou, Chuen-Tsai Sun	Using Simple Design Features to Recapture the Essence of Real-Time Strategy Games.	IEEE Trans. Games	2022	DBLP DOI BibTeX RDF
17	Anjum Naweed, Jana Stahlut, Valerie O'keeffe	The Essence of Care: Versatility as an Adaptive Response to Challenges in the Delivery of Quality Aged Care by Personal Care Attendants.	Hum. Factors	2022	DBLP DOI BibTeX RDF
17	Dennis Y. Menn, Hung-yi Lee	Searching for the Essence of Adversarial Perturbations.	CoRR	2022	DBLP DOI BibTeX RDF
17	Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo	The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.	CoRR	2022	DBLP DOI BibTeX RDF
17	Feifei Shi, Huansheng Ning, Xiaohong Zhang, Rongyang Li, Qiaohui Tian, Shiming Zhang, Yuanyuan Zheng, Yudong Guo, Mahmoud Daneshmand	A new technology perspective of the Metaverse: its essence, framework and challenges.	CoRR	2022	DBLP DOI BibTeX RDF
17	Hossein Javanshiri, Mohammad Abolghasemi, Ali Akbar Arefijamaal	The essence of invertible frame multipliers in scalability.	Adv. Comput. Math.	2022	DBLP DOI BibTeX RDF
17	Ivar Jacobson, Jeff Sutherland, Brian Kerr, Barbora Buhnova	Better Scrum through Essence.	Softw. Pract. Exp.	2022	DBLP DOI BibTeX RDF
17	Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo	The Lattice-Theoretic Essence of Property Directed Reachability Analysis.	CAV (1)	2022	DBLP DOI BibTeX RDF
17	Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard	A Game of Essence and Serendipity: Superb Owls vs. Cooking-Woodpeckers.	ICCC	2022	DBLP BibTeX RDF