Search results for "ASIS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
234	Janusz W. Laski, William Stanley, Pawel Podgorski	Beyond ASIS: program data bases and tool-oriented queries.	SIGAda	2001	DBLP DOI BibTeX RDF	program data bases, verification, testing, Ada, static analysis, Software, queries, dynamic analysis, program dependencies, ASIS
182	Alexey Kuchumov, Sergey Rybin, Alfred Strohmeier	OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code.	Ada-Europe	2001	DBLP DOI BibTeX RDF	Ada Semantic Interface Specification, GNU Ada Compiler, ASIS-for-GNAT, Ada, Object-Oriented Programming, ASIS, GNAT
140	Joseph R. Wisniewski	Transitioning an ASIS application: version 1 to Ada95 2.0.	SIGAda	1999	DBLP DOI BibTeX RDF	ASISWG, Traverse_Element, semantics, context, syntax, ASIS, element
122	Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey	Quality-for-ASIS: A Portable Testing Facility for ASIS.	Ada-Europe	1998	DBLP DOI BibTeX RDF
122	Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov	ASIS for GNAT: From the Prototype to the Full Implementation.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Ada, Compiler, Programming Environment, ASIS
103	Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov	ASIS-for-GNAT: A Report of Practical Experiences.	Ada-Europe	2000	DBLP DOI BibTeX RDF	Ada, Programming Language, Programming Environment, Programming Tool, ASIS
103	William Currie Colket	Code analysis of saftey-critical and real-time software using ASIS.	SIGAda	1999	DBLP DOI BibTeX RDF	real-time, tasking, safety-critical, code analysis, ASIS, high integrity, Ada language, Ravenscar profile
79	Sergey Rybin, Alfred Strohmeier	About the Difficulties of Building a Pretty-Printer for Ada.	Ada-Europe	2002	DBLP DOI BibTeX RDF	Pretty-Printer, Ada, ASIS
70	Maureen L. Mackenzie	ASIS to ASIS&T: Has there been a change in the conference content?	ASIST	2005	DBLP DOI BibTeX RDF
65	Patrick Closhen, Hans-Jürgen Hoffmann	An Ada95 Programming Style Checker Using the GNAT ASIS Implementation.	Ada-Europe	2000	DBLP DOI BibTeX RDF	Style Checking, Framework, Software Quality, ASIS, GNAT
65	Sergey Rybin, Alfred Strohmeier, Eugene Zueff	ASIS for GNAT: Goals, Problems and Implementation Strategy.	Ada-Europe	1995	DBLP DOI BibTeX RDF	Ada, Compilation, Software Engineering Environment, ASIS
61	Howard Ausden, Karl A. Nyberg	Using ASIS to generate C++ bindings.	SIGAda	2005	DBLP DOI BibTeX RDF	cross-language libraries, multiple language interfaces, program transformation
60	Paul Anderson	A refactoring tool for Ada 95.	SIGAda	2004	DBLP DOI BibTeX RDF	static analysis, refactoring, Ada 95, ASIS, software engineering tools
60	Ricky E. Sward, A. T. Chamillard	AdaSlicer: an Ada program slicer.	SIGAda	2003	DBLP DOI BibTeX RDF	program slicing, ASIS
47	Brittany Brannon, Jenny Bossaler, Timothy J. Dickey, Lala Hajibayova, Joe Kohlburn, Shannon M. Oltmann, Andrew J. M. Smith	Banned, Challenged, Questioned, or Lost? Information Access and the Path to an Information-Resilient Society: ASIS &T Midwest Regional Chapter.	ASIST	2022	DBLP DOI BibTeX RDF
47	Timothy J. Dickey, Brian Dobreski, Marjorie M. K. Hlava, Mark Needleman, Iris Xie, Marcia Lei Zeng	Accessibility, Usability, Inclusivity: Information Standards, Guidelines, & Best Practices Sponsored by the ASIS &T Standards Committee.	ASIST	2022	DBLP DOI BibTeX RDF
47	Maryam Nowroozi, Mahdieh Mirzabeigi, Hajar Sotudeh	Constructing an ontology based on a thesaurus: A case of ASIS&TOnto based on the ASIS&T Web-based thesaurus.	Electron. Libr.	2018	DBLP DOI BibTeX RDF
47	Stephen Bajjaly, Rong Tang 0001, Heidi Julien, Dietmar Wolfram	ALISE@ASIS&T: Building an LIS research-teaching nexus.	ASIST	2018	DBLP DOI BibTeX RDF
47	Lisa M. Given, Heidi Julien, Sam Gyun Oh, Saguna Shankar	What does the future hold for the information associations? A panel with the Presidents of ASIS&T, Alise, and the Chair of iSchools Consortium.	ASIST	2018	DBLP DOI BibTeX RDF
47	Jenna Hartel	Visualizing information worldwide a panel proposal to the 2015 ASIS&T annual meeting sponsored by: SIG-VIS, SIG-III, & SIG-HFIS.	ASIST	2015	DBLP DOI BibTeX RDF
47	Lynn Westbrook	ASIS&T addressing missed information opportunities and victims' information agency in the fight against sexual human trafficking.	ASIST	2015	DBLP DOI BibTeX RDF
47	Anatoliy A. Gruzd, Selenay Aytac, Nouf Khashman	ASIS&T 2014 PANEL: Connecting collections, cultures, and communities: The role of social and other media in the unrests in Egypt, Turkey and Ukraine: Sponsored by SIG-III.	ASIST	2014	DBLP DOI BibTeX RDF
47	Katriina Byström, Mary Cavanagh, Jannica Heinström, Barbara M. Wildemuth, Sanda Erdelez	What difference does a theoretical lens make in conducting a study of human information interactions? Panel presented at the 2013 annual meeting of the association for information science & technology (ASIS&T).	ASIST	2013	DBLP DOI BibTeX RDF
47	Monica Mallowan, Christian Marcon	ASIS&T 2013: From competitive intelligence as a state of mind to information transculture.	ASIST	2013	DBLP DOI BibTeX RDF
47	Diane Rasmussen Neal, Linda C. Smith, Jacob A. Ratliff, Julia Khanova	ASIS&T online education initiatives: Driving the future.	ASIST	2012	DBLP DOI BibTeX RDF
47	Sarah A. Buchanan	ASIS&T history fund research: Documenting education in the Los Angeles Chapter.	ASIST	2011	DBLP DOI BibTeX RDF
47	Alex Garnett, Heather A. Piwowar, Kim Holmberg, Jason Priem, Christina K. Pikas, Nicholas M. Weber	Shaken and stirred: ASIS&T 2011 attendee reactions to shaking it up: Embracing new methods for publishing, finding, discussing, and measuring our research output.	ASIST	2011	DBLP DOI BibTeX RDF
47	Allyson Carlyle, Samantha R. Becker	ASIS&T 2008 annual meeting poster FRBR and the 'known-item' search.	ASIST	2008	DBLP DOI BibTeX RDF
47	Maureen L. Mackenzie	ASIS to ASIS&T: A society in transition?	J. Assoc. Inf. Sci. Technol.	2006	DBLP DOI BibTeX RDF
47	Rodney Brunt	Advances in Classification Research Volume 10. Proceedings of the 10th ASIS SIG/CR Classification Research Workshop, held at the 62nd ASIS Annual Meeting, November 1-5, 1999, Washington, DC.	J. Documentation	2002	DBLP DOI BibTeX RDF
46	Vasiliy Fofanov, Sergey Rybin, Alfred Strohmeier	ASIStint: An Interactive ASIS Interpreter.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada, Ada, interpreter, ASIS
42	Steven V. Hovater, William Marksteiner, Allen Butturini	Generation of Interface Design Description Documents Using ASIS.	Ada-Europe	2000	DBLP DOI BibTeX RDF
42	Knut H. Pedersen, Constantinos Constantinides	AspectAda: aspect oriented programming for ada95.	SIGAda	2005	DBLP DOI BibTeX RDF	ada semantic interface specification (ASIS), aspect-oriented programming (AOP), concurrent programming, inheritance anomaly, ada95
42	Ricky E. Sward, A. T. Chamillard	Re-engineering global variables in Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	ASIS, SPARK, global variables
42	Krzysztof Czarnecki 0001, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf	DataFAN: A Practical Approach to Data Flow Analysis for Ada 95.	Ada-Europe	2002	DBLP DOI BibTeX RDF	language tools, verification, static analysis, quality assurance, safety critical, ASIS, SPARK, mission critical
30	Joseph T. Tennis	Three Spheres of Classification Research: Emergence, Encyclopedism, and Ecology.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	Jonathan Furner	Bibliographic Relationships, Citation Relationships, Relevance Relationships, and Bibliographic Classification: An Integrative View.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	James D. Anderson	Effective Display of Browsable Classification on the WWW and other Hypertext Media.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	Wendi Pohs, Dick McCarrick, Michael Muller	Creating and Maintaining Machine-Generated Taxonomies in Human Organizations: Contributions from Research and Practice.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	Paul Solomon	Grounding Classification Research in Real World Problems: Report of the Third Panel of Presentations and Associated Discussion.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	Linda L. Hill, Olha A. Buchel, Greg Janee, Marcia Lei Zeng	Integration of Knowledge Organization Systems into Digital Library Architectures.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	Edie M. Rasmussen	Report on the Second Panel of Presentations and Associated Discussion.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	Kathryn La Barre	Look Back to Look Forward: The Classification Research Study Group and SIG/CR.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	Paul Solomon	Bringing People, Technology, and Systems Together Through Classification Research: Designing for Change, Learning, and Maintenance.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	Jonathan Furner	Report on the First Panel of Presentations and Associated Discussion.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	Michael L. McGlashen, Anne Rogers	Classification in the Physical Sciences.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	Jens-Erik Mai, Clare Beghtol, Jonathan Furner, Barbara H. Kwasnik (eds.)	Advances of Classification Research, Volume 13, includes all of the papers presented at the workshop, which was held in Philadelphia, PA, USA, on November 17, 2002	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	D. Grant Campbell	Centripetal and Centrifugal Forces in Bibliographic Classification Research.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	Pauline A. Cochrane	Promising Past and Future Research Agendas in Classification.	ASIS SIG/CR Classification Research Workshop	2002	DBLP BibTeX RDF
30	Stephanie W. Haas, Debbie A. Travers, Anna E. Waller, Brian Hilligoss, Molly Cahill, Patricia F. Pearce	Defining Clinical Similarity Among ICD-9-CM Diagnosis Codes: Diagnosis Cluster Schemes.	ASIS SIG/CR Classification Research Workshop	2001	DBLP BibTeX RDF
30	Allyson Carlyle, Sara Ranger	Facilitating Retrieval of Fiction Works in Online Catalogs.	ASIS SIG/CR Classification Research Workshop	2001	DBLP BibTeX RDF
30	Efthimis N. Efthimiadis (eds.)	Advances of Classification Research, Volume 12, includes all of the papers presented at the workshop, which was held in Washington, DC, USA on November 4, 2001	ASIS SIG/CR Classification Research Workshop	2001	DBLP BibTeX RDF
30	Uta Priss	Multilevel Approaches to Concepts and Formal Ontologies.	ASIS SIG/CR Classification Research Workshop	2001	DBLP BibTeX RDF
30	Dagobert Soergel	The Many Uses of Classification: Enriched Thesauri, Ontologies, and Taxonomies as Knowledge Sources.	ASIS SIG/CR Classification Research Workshop	2001	DBLP BibTeX RDF
30	Brigitte Endres-Niggemeyer, Bernd Hertenstein, Claudia Villiger, Carsten Ziegert	Constructing an Ontology for WWW Summarization in Bone Marrow Transplantation (BMT).	ASIS SIG/CR Classification Research Workshop	2001	DBLP BibTeX RDF
30	Joseph T. Tennis	Layers of Meaning: Disentangling Subject Access Interoperability.	ASIS SIG/CR Classification Research Workshop	2001	DBLP BibTeX RDF
27	Prasenjit Banerjee, Tanuka Chattopadhyay, Asis Kumar Chattopadhyay	Investigation of the effect of bars on the properties of spiral galaxies: a multivariate statistical study.	Commun. Stat. Simul. Comput.	2024	DBLP DOI BibTeX RDF
27	Darshan Kumar, Nidhi Sinha, Alekha Kumar Mishra, Asis Kumar Tripathy	An Experimental Comparison and Impact Analysis of Various RPL-Based IoT Security Threats Using Contiki Simulator.	COMSNETS	2024	DBLP DOI BibTeX RDF
27	Shobhit Aggarwal, Asis Nasipuri	FL-LoRaMAC: A Novel Framework for Enabling On-Device Learning for LoRa-Based IoT Applications.	Future Internet	2023	DBLP DOI BibTeX RDF
27	Nurjannah Nurdin, Evangelos Alevizos, Rajuddin Syamsuddin, Hasni Asis, Elmi Nurhaidah Zainuddin, Agus Aris, Simon Oiry, Guillaume Brunier, Teruhisa Komatsu, Laurent Barillé	Precision Aquaculture Drone Mapping of the Spatial Distribution of Kappaphycus alvarezii Biomass and Carrageenan.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
27	Tatyana Kovshova, Pavel Trifonov, Edwin Hernan Ramirez Asis	Improving the Efficiency of Intellectualisation Processes in Enterprise Management Systems.	Syst.	2023	DBLP DOI BibTeX RDF
27	Pradeep Kumar Roy, Asis Kumar Tripathy, Tien-Hsiung Weng, Kuan-Ching Li	Securing social platform from misinformation using deep learning.	Comput. Stand. Interfaces	2023	DBLP DOI BibTeX RDF
27	Arundhati Sahoo, Asis Kumar Tripathy	On routing algorithms in the internet of vehicles: a survey.	Connect. Sci.	2023	DBLP DOI BibTeX RDF
27	Kristopher De Asis, Eric Graves 0002, Richard S. Sutton	Value-aware Importance Weighting for Off-policy Reinforcement Learning.	CoRR	2023	DBLP DOI BibTeX RDF
27	Francisco de Asís López-Fuentes	A Comparative Study for Rate Allocation in Multi-source Systems with Same Rate Stream.	3PGCIC	2023	DBLP DOI BibTeX RDF
27	Kristopher De Asis, Eric Graves 0002, Richard S. Sutton	Value-aware Importance Weighting for Off-policy Reinforcement Learning.	CoLLAs	2023	DBLP BibTeX RDF
27	Alekha Kumar Mishra, Deepak Puthal, Asis Kumar Tripathy	A Secure RPL Rank Computation and Distribution Mechanism for Preventing Sinkhole Attack in IoT-based Systems.	INFOCOM Workshops	2023	DBLP DOI BibTeX RDF
27	Pradeep Kumar Roy, Ashish Singh, Asis Kumar Tripathy, Tapan Kumar Das	Cyberbullying detection: an ensemble learning approach.	Int. J. Comput. Sci. Eng.	2022	DBLP DOI BibTeX RDF
27	Pradeep Roy, Asis Kumar Tripathy, Sunil Singh, Kuan-Ching Li	Recent advancements in privacy-aware protocols of source location privacy in wireless sensor networks: A survey.	Comput. Sci. Inf. Syst.	2022	DBLP DOI BibTeX RDF
27	Navaneetha Krishnan Rajagopal, Naila Iqbal Qureshi, S. Durga, Edwin Hernan Ramirez Asis, Rosario Mercedes Huerta Soto, Shashi Kant Gupta, S. Deepak	Future of Business Culture: An Artificial Intelligence-Driven Digital Framework for Organization Decision-Making Process.	Complex.	2022	DBLP DOI BibTeX RDF
27	Eralp Güllep, Asis Unyapoth, Poonphon Suesaowaluk	Factors influencing the satisfaction of chat commerce usage experience in Thailand: A Covid necessitated e-business platform.	ICEB	2022	DBLP BibTeX RDF
27	Ndubueze Chuku, Asis Nasipuri	RSSI-Based Localization Schemes for Wireless Sensor Networks Using Outlier Detection.	J. Sens. Actuator Networks	2021	DBLP DOI BibTeX RDF
27	Manuel Arias-Montiel, Asis Martínez Miguel, Esther Lugo-González, Rosebet Miranda-Luna, Ricardo Tapia-Herrera	Prototype of Robotic Hand Controlled by Electromyographic Signals with a Commercial Device.	Computación y Sistemas	2021	DBLP DOI BibTeX RDF
27	Alekha Kumar Mishra, Maitreyee Sinha, Asis Kumar Tripathy	A sinkhole prevention mechanism for RPL in IoT.	Int. J. Comput. Sci. Eng.	2020	DBLP DOI BibTeX RDF
27	Pradeep Kumar Roy, Asis Kumar Tripathy, Tapan Kumar Das, Xiao-Zhi Gao 0001	A Framework for Hate Speech Detection Using Deep Convolutional Neural Network.	IEEE Access	2020	DBLP DOI BibTeX RDF
27	Josepheen De Asis-Cruz, Kushal Kapse, Sudeepta K. Basu, Mariam Said, Dustin Scheinost, Jonathan Murnick, Taeun Chang, Adré du Plessis, Catherine Limperopoulos	Functional brain connectivity in ex utero premature infants compared to in utero fetuses.	NeuroImage	2020	DBLP DOI BibTeX RDF
27	Alan Chan 0001, Kristopher De Asis, Richard S. Sutton	Inverse Policy Evaluation for Value-based Sequential Decision-making.	CoRR	2020	DBLP BibTeX RDF
27	Saritha Vinod, M. Naveen, Asis K. Patra, Anto Ajay Raj John	Accelerating Towards Larger Deep Learning Models and Datasets - A System Platform View Point.	IPDPS Workshops	2020	DBLP DOI BibTeX RDF
27	Kristopher De Asis, Alan Chan 0001, Silviu Pitis, Richard S. Sutton, Daniel Graves	Fixed-Horizon Temporal Difference Methods for Stable Reinforcement Learning.	AAAI	2020	DBLP DOI BibTeX RDF
27	Karlo Miguel R. De Asis, Ethan Jeriko P. Guillem, Francesca Angela M. Reyes, Mary Jane C. Samonte	Serenity: A Stress-Relieving Virtual Reality Application based on Philippine Environmental Variables.	ICFET	2020	DBLP DOI BibTeX RDF
27	Pablo Casas-Arce, Thomas Kittsteiner, F. Asís Martínez-Jerez	Contracting with Opportunistic Partners: Theory and Application to Technology Development and Innovation.	Manag. Sci.	2019	DBLP DOI BibTeX RDF
27	Francisco de Asís López-Fuentes, Juan Alejandro Ibáñez Ramírez, Abigail Chantes Barrios	Distributed authentication system to access data in multiple secure domains.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
27	Amitangshu Pal, Asis Nasipuri	Joint Power Control and Routing for Rechargeable Wireless Sensor Networks.	IEEE Access	2019	DBLP DOI BibTeX RDF
27	Alekha Kumar Mishra, Asis Kumar Tripathy, Deepak Puthal, Laurence T. Yang	Analytical Model for Sybil Attack Phases in Internet of Things.	IEEE Internet Things J.	2019	DBLP DOI BibTeX RDF
27	Abdiel González-Ortega, Francisco de Asís López-Fuentes	A Web-based Didactic Tool for Teaching of Distributed Consensus.	Res. Comput. Sci.	2019	DBLP BibTeX RDF
27	Asis Roy, Sourangshu Bhattacharya, Kalyan Guin	A methodology for customizing clinical tests for esophageal cancer based on patient preferences.	Artif. Intell. Medicine	2019	DBLP DOI BibTeX RDF
27	Kristopher De Asis, Alan Chan 0001, Silviu Pitis, Richard S. Sutton, Daniel Graves	Fixed-Horizon Temporal Difference Methods for Stable Reinforcement Learning.	CoRR	2019	DBLP BibTeX RDF
27	Rogelio Hasimoto-Beltrán, Francisco de Asís López-Fuentes, Misael Vera-Lopez	Hierarchical P2P architecture for efficient content distribution.	Peer-to-Peer Netw. Appl.	2019	DBLP DOI BibTeX RDF
27	Billie Sandak, Avi Mazor, Amichay Asis, Avi Gilboa, David Harel	Computational Music Therapy.	MCM	2019	DBLP DOI BibTeX RDF
27	Javier Mendoza Almanza, Francisco de Asís López-Fuentes	Optimal Network Coding based on Machine Learning Methods for Collaborative Networks.	CoDIT	2019	DBLP DOI BibTeX RDF
27	Francisco de Asís López-Fuentes, Javier Mendoza Almanza, Ricardo Marcelín-Jiménez, Betzayda Velázquez-Méndez	Efficient Content Distribution and Storage P2P System based on Information Dispersal.	CoDIT	2019	DBLP DOI BibTeX RDF
27	Flor de Asis Marti Nieto	Assisting the design and integration of information systems into the context of the factory of the future through a coevolution-based approach. (Contribution à la conception et conduite des systèmes d'information dans un contexte d'usine du futur par une approche basée co-évolution).		2019	RDF
27	Samir K. Sadhukhan, Chayanika Bose, Debashis Saha, Asis Chattopadhyay	Analytical Study of a Dual Pointer Based Strategy for Location Update Using Node B Sojourn Time in UMTS Networks.	Int. J. Bus. Data Commun. Netw.	2018	DBLP DOI BibTeX RDF
27	Soumita Modak, Asis Kumar Chattopadhyay, Tanuka Chattopadhyay	Clustering of gamma-ray bursts through kernel principal component analysis.	Commun. Stat. Simul. Comput.	2018	DBLP DOI BibTeX RDF
27	Amitangshu Pal, Asis Nasipuri	A Joint Routing and Channel Assignment Scheme for Hybrid Wireless-Optical Broadband-Access Networks.	J. Sens. Actuator Networks	2018	DBLP DOI BibTeX RDF
27	Md. Majharul Islam Rajib, Asis Nasipuri	Predictive Retransmissions for Intermittently Connected Sensor Networks with Transmission Diversity.	ACM Trans. Embed. Comput. Syst.	2018	DBLP DOI BibTeX RDF
27	Kristopher De Asis, Brendan Bennett, Richard S. Sutton	Predicting Periodicity with Temporal Difference Learning.	CoRR	2018	DBLP BibTeX RDF
27	Kristopher De Asis, Richard S. Sutton	Per-decision Multi-step Temporal Difference Learning with Control Variates.	CoRR	2018	DBLP BibTeX RDF
27	José F. Hidalgo, Jose A. Egea, Francisco De Asís Guil Asensio, José M. García 0001	Improving the EFMs quality by augmenting their representativeness in LP methods.	BMC Syst. Biol.	2018	DBLP DOI BibTeX RDF
27	Kristopher De Asis, Richard S. Sutton	Per-decision Multi-step Temporal Difference Learning with Control Variates.	UAI	2018	DBLP BibTeX RDF