Search results for "SEMS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
83	Yingxu Wang 0001, Qing He, Chris Kliewer, Tony Khoo, Vincent Chiew, Wendy Nikoforuk, Lian Chen	Product and Process Metrics: A Software Engineering Measurement Expert System.	PROFES	2002	DBLP DOI BibTeX RDF	SEMEST, Software engineering, measurement, metrics, expert system, SEMS
78	Young-whan Bang, Yeun-hee Kang, Gang-Soo Lee	CC-SEMS: A CC Based Information System Security Evaluation Management System.	PARA	2004	DBLP DOI BibTeX RDF
70	Kiyotaka Kohno, Yujiro Inouye, Mitsuru Kawamoto	Robust super-exponential methods for blind deconvolution of MIMO-IIR systems with Gaussian noise.	ISCAS	2006	DBLP DOI BibTeX RDF
70	Mitsuru Kawamoto, Kiyotaka Kohno, Yujiro Inouye	Robust Super-exponential methods for deflationary blind source separation of instantaneous mixtures.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
47	Markku Oivo, Victor R. Basili	Representing Software Engineering Models: The TAME Goal Oriented Approach.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software engineering models representation, TAME goal oriented approach, reasoning framework, top-down goal-oriented characterization, ES-TAME, object-oriented metamodel concept, reusable software engineering models, dynamic viewpoints, selective inheritance, goal-question-metric paradigm, modeling, software engineering, artificial intelligence, object-oriented programming, knowledge representation, knowledge representation, software reusability, prototype system
47	Irène Kowarski, M. Lopez	The Document Concept in a Data Base.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
33	Domenico Amalfitano, Nicola Amatucci, Vincenzo De Simone, Anna Rita Fasolino, Porfirio Tramontana	Toward Reverse Engineering of VBA Based Excel Spreadsheet Applications.	SEMS@ICSE	2015	DBLP BibTeX RDF
33	Felienne Hermans, Richard F. Paige, Peter Sestoft (eds.)	Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015.	SEMS@ICSE	2015	DBLP BibTeX RDF
33	Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri	Spreadsheets for Stream Partitions and Windows.	SEMS@ICSE	2015	DBLP BibTeX RDF
33	Paul Mireault	Structured Spreadsheet Modeling and Implementation.	SEMS@ICSE	2015	DBLP BibTeX RDF
33	Daniel Kulesz, Fabian Toth, Fabian Beck 0001	Live-Inspection of Spreadsheets.	SEMS@ICSE	2015	DBLP BibTeX RDF
33	Alexandru Toader, Andrea Kohlhase, Michael Kohlhase	Assessment for Spreadsheets.	SEMS@ICSE	2015	DBLP BibTeX RDF
33	Bas Jansen	Enron versus EUSES: A Comparison of Two Spreadsheet Corpora.	SEMS@ICSE	2015	DBLP BibTeX RDF
33	No'am Newman	Spreadsheets in an ERP Environment - Not What the Doctor Ordered.	SEMS@ICSE	2015	DBLP BibTeX RDF
33	Sohon Roy	Business Rule Mining from Spreadsheets.	SEMS@ICSE	2015	DBLP BibTeX RDF
33	Pedro Maia, Jorge Mendes 0001, Jácome Cunha, Henrique Rebêlo, João Saraiva	Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets.	SEMS@ICSE	2015	DBLP BibTeX RDF
33	Dietmar Jannach, Thomas Schmitz 0002	Using Calculation Fragments for Spreadsheet Testing and Debugging.	SEMS@ICSE	2015	DBLP BibTeX RDF
33	Andrea Kohlhase, Michael Kohlhase, Ana Guseva	Context in Spreadsheet Comprehension.	SEMS@ICSE	2015	DBLP BibTeX RDF
31	Azeem Irshad, Mohammed Alreshoodi	SEMS-5G: A Secure and Efficient Multi-Server Authentication Scheme for 5G Networks.	IEEE Access	2024	DBLP DOI BibTeX RDF
31	Sejin Kim, Jungwoo Kim, Yongjoo Jang, Jaeha Kung, Sungjin Lee 0001	SEMS: Scalable Embedding Memory System for Accelerating Embedding-Based DNNs.	IEEE Comput. Archit. Lett.	2022	DBLP DOI BibTeX RDF
31	Guangyou Nan, Jinyu Wei, Haiju Hu	Analysis of the multi-agent's relationship in collaborative innovation network for science and technology SEMs based on evolutionary game theory.	Int. J. Inf. Technol. Manag.	2019	DBLP DOI BibTeX RDF
31	Samuel Sungmin Cho, Benjamin Gooder, Myoungkyu Song	Size Efficient Messaging System (SEMS) Using Probabilistic Data Structures.	EIT	2019	DBLP DOI BibTeX RDF
31	Birgit Hofer, Jorge Mendes 0001	Proceedings of the 5th International Workshop on Software Engineering Methods in Spreadsheets (SEMS'18).	CoRR	2018	DBLP BibTeX RDF
31	Ilya Shpitser, Robin J. Evans 0002, Thomas S. Richardson 0001	Acyclic Linear SEMs Obey the Nested Markov Property.	UAI	2018	DBLP BibTeX RDF
31	Mustafa Kaiiali, Armagan Ozkaya, Halis Altun, Hatem Haddad, Marc Alier	Designing a Secure Exam Management System (SEMS) for M-Learning Environments.	IEEE Trans. Learn. Technol.	2016	DBLP DOI BibTeX RDF
31	Hamid Abbasi 0001, Laura Bennet, Alistair J. Gunn, Charles P. Unsworth	Identifying stereotypic evolving micro-scale seizures (SEMS) in the hypoxic-ischemic EEG of the pre-term fetal sheep with a Wavelet Type-II Fuzzy classifier.	EMBC	2016	DBLP DOI BibTeX RDF
31	Paolo Milazzo, Dániel Varró, Manuel Wimmer (eds.)	Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Phan Thu Nhat Vo, Maria Spichkova	Model-Based Generation of Natural Language Specifications.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Thomas Schmitz 0002, Birgit Hofer, Dietmar Jannach, Franz Wotawa	Fragment-Based Diagnosis of Spreadsheets.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Nieves Atienza, Rocío González-Díaz, Matteo Rucco	Separating Topological Noise from Features Using Persistent Entropy.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Ricardo Teixeira, Vasco Amaral 0001	On the Emergence of Patterns for Spreadsheets Data Arrangements.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Khanh-Hoang Doan, Martin Gogolla, Frank Hilken	Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Paul Mireault	Implementing Nested FOR Loops as Spreadsheet Formulas.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Amleto Di Salle, Francesco Gallo, Claudio Pompilio	Composition of Advanced ( \mu )Services for the Next Generation of the Internet of Things.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Peter Herrmann, Jan Olaf Blech	Formal Model-Based Development in Industrial Automation with Reactive Blocks.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Jerzy Sikora, Jacek Sroka, Jerzy Tyszkiewicz	Programming Communication with the User in Multiplatform Spreadsheet Applications.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Mohamed Aymen Ben HajKacem, Chiheb-Eddine Ben N'cir, Nadia Essoussi	An Accelerated MapReduce-Based K-prototypes for Big Data.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Ivaylo Hristakiev, Detlef Plump	Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene	Visual Notation and Patterns for Abstract State Machines.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Ricardo Moreira	SheetGit: A Tool for Collaborative Spreadsheet Development.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Julia Krämer, Heike Wehrheim	A Formal Approach to Error Localization and Correction in Service Compositions.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Maria Spichkova	"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"?	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Giovanni Pardini, Paolo Milazzo	A High-Level Model Checking Language with Compile-Time Pruning of Local Variables.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Frank Drewes, Berthold Hoffmann, Mark Minas	Approximating Parikh Images for Generating Deterministic Graph Parsers.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Antonio Cerone	Refinement Mining: Using Data to Sift Plausible Models.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Andrea Corradini 0001	On the Definition of Parallel Independence in the Algebraic Approaches to Graph Transformation.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Jorge Mendes 0001, Kha N. Do, João Saraiva	Towards an Automated Classification of Spreadsheets.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Michael Löwe	SPO-Rewriting of Constrained Partial Algebras.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech	Spatio-Temporal Models for Formal Analysis and Property-Based Testing.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Juan Maria Rivas, J. Javier Gutiérrez, Mario Aldea Rivas, César Cuevas, Michael González Harbour, José María Drake, Julio L. Medina, Laurent Rioux, Rafik Henia, Nicolas Sordon	An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Martyn Ellison, Radu Calinescu, Richard F. Paige	Towards Platform Independent Database Modelling in Enterprise Systems.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Antonio Cerone	Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners' and Students' Perspectives.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Marina Mongiello, Tommaso Di Noia, Francesco Nocera, Eugenio Di Sciascio, Angelo Parchitelli	Context-Aware Design of Reflective Middleware in the Internet of Everything.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Zinovy Diskin, Harald König	Incremental Consistency Checking of Heterogeneous Multimodels.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Steffen Zschaler, Lawrence Mandow	Towards Model-Based Optimisation: Using Domain Knowledge Explicitly.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Felienne Hermans, Tijs van der Storm	TrueGrid: Code the Table, Tabulate the Data.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Raphaël Chenouard, Chris Hartmann, Alain Bernard, Emmanuel Mermoz	Computational Design Synthesis Using Model-Driven Engineering and Constraint Programming.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Riccardo Guidotti, Giulio Rossetti, Dino Pedreschi	Audio Ergo Sum - A Personal Data Model for Musical Preferences.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Martin Gogolla, Jordi Cabot	Continuing a Benchmark for UML and OCL Design and Analysis Tools.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Ulyana Tikhonova, Maarten Manders, Rimco Boudewijns	Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Martin Gogolla, Antonio Vallecillo	Views on UML Interactions as Spreadsheet Queries.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Daniël Reijsbergen	Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Mirko D'Angelo, Mauro Caporuscio	Pure Edge Computing Platform for the Future Internet.	STAF Workshops	2016	DBLP DOI BibTeX RDF
31	Felienne Hermans, Richard F. Paige, Peter Sestoft	2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015).	ICSE (2)	2015	DBLP DOI BibTeX RDF
31	Hamideh Mokhtari Hasanabad, Leila Behboudi, Masumeh Sadat Abtahi	The Effectiveness of Website Quality and SEMs' Successful in Iran.	Int. J. Innov. Digit. Econ.	2014	DBLP DOI BibTeX RDF
31	Mei-Ying Wu, Yung-Chih Wang	The Benefits of using Unified Communications Systems for SEMs.	Int. J. Electron. Bus. Manag.	2014	DBLP BibTeX RDF
31	Hei Chan, Manabu Kuroki	Identification of Causal Effects in Linear SEMs using the Instrumental Variable Function.	ISAIM	2012	DBLP BibTeX RDF
31	Hei Chan, Manabu Kuroki	Using Descendants as Instrumental Variables for the Identification of Direct Causal Effects in Linear SEMs.	AISTATS	2010	DBLP BibTeX RDF
31	Spyridon Papastergiou, Despina Polemi	A Secure and Trustful E-Ordering Architecture (TOES) for Small and Medium Size Enterprises (SEMs).	Int. J. Inf. Secur. Priv.	2008	DBLP DOI BibTeX RDF
31	Daniel Jasper, Christian Dahmen, Sergej Fatikow	CameraMan - Robot Cell with Flexible Vision Feedback for Automated Nanohandling inside SEMs.	CASE	2007	DBLP DOI BibTeX RDF
31	Ferdinand Schmoeckel, Heinz Wörn	Remotely Controllable Mobile Microrobots Acting as Nano Positioners and Intelligent Tweezers in Scanning Electron Microscopes (SEMs).	ICRA	2001	DBLP DOI BibTeX RDF
31	Yingxu Wang 0001	Formal Description of Object-Oriented Software Measurement and Metrics in SEMS.	OOIS	2001	DBLP DOI BibTeX RDF
23	Joseph A. Brown, Sheridan K. Houghten, Daniel A. Ashlock	Edit metric decoding: a new hope.	C3S2E	2009	DBLP DOI BibTeX RDF	edit metric code, side effect machine, genetic algorithms, bioinformatics, finite state machine
23	Wang Jingxin, Zhiying Wang 0003, Kui Dai	Security Event Management System based on Mobile Agent Technology.	ISI	2007	DBLP DOI BibTeX RDF