Search results for "future-proof"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Clemens A. Szyperski	The making of a software engineer challenges for the educator.	ICSE	2005	DBLP DOI BibTeX RDF	disruptive technology, future-proof, education, requirements
21	Madeleine de Cock Buning, Roeland de Bruin	Autonomous intelligent cars: proof that the EPSRC Principles are future-proof.	Connect. Sci.	2017	DBLP DOI BibTeX RDF
14	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	Building Decision Procedures in the Calculus of Inductive Constructions.	CSL	2007	DBLP DOI BibTeX RDF	Calculus of Inductive Constructions, Decision procedures, Theorem provers
13	Zengpeng Li, Mei Wang, Teik Guan Tan, Jianying Zhou 0001	Funder: Future-Proof Unbiased Decentralized Randomness.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
13	Petri Ahokangas, Marja Matinmikko-Blue, Seppo Yrjölä	Envisioning a Future-Proof Global 6G from Business, Regulation, and Technology Perspectives.	IEEE Commun. Mag.	2023	DBLP DOI BibTeX RDF
13	Patrik Kompus	Ontology as a Backbone of Future-proof Software Development.	DC@ISWC	2023	DBLP BibTeX RDF
13	Marita McPhillips, Magdalena Licznerska	Open Innovation Competence for a Future-Proof Workforce: A Comparative Study from Four European Universities.	J. Theor. Appl. Electron. Commer. Res.	2021	DBLP DOI BibTeX RDF
13	Yao Xu, Zhengji Zhao, Rohan Garg 0001, Harsh Khetawat, Rebecca Hartman-Baker, Gene Cooperman	MANA-2.0: A Future-Proof Design for Transparent Checkpointing of MPI at Scale.	CoRR	2021	DBLP BibTeX RDF
13	Daehyeok Kim, Nikita Lazarev, Tommy Tracy II, Farzana Siddique, Hun Namkung, James C. Hoe, Vyas Sekar, Kevin Skadron, Zhiru Zhang, Srinivasan Seshan	A Roadmap for Enabling a Future-Proof In-Network Computing Data Plane Ecosystem.	CoRR	2021	DBLP BibTeX RDF
13	Zengpeng Li, Teik Guan Tan, Pawel Szalachowski, Vishal Sharma 0001, Jianying Zhou 0001	Post-Quantum VRF and its Applications in Future-Proof Blockchain System.	CoRR	2021	DBLP BibTeX RDF
13	Ane Dalsnes Storsaeter, Kelly Pitera, Edward McCormack	Using ADAS to Future-Proof Roads - Comparison of Fog Line Detection from an In-Vehicle Camera and Mobile Retroreflectometer.	Sensors	2021	DBLP DOI BibTeX RDF
13	Florentin Putz, Steffen Schön, Matthias Hollick	Future-Proof Web Authentication: Bring Your Own FIDO2 Extensions.	ETAA	2021	DBLP DOI BibTeX RDF
13	Piet De Vaere, Claude Hähni, Franco Monti, Adrian Perrig	Tableau: Future-Proof Zoning for OT Networks.	CRITIS	2021	DBLP DOI BibTeX RDF
13	Yao Xu, Zhengji Zhao, Rohan Garg 0001, Harsh Khetawat, Rebecca Hartman-Baker, Gene Cooperman	MANA-2.0: A Future-Proof Design for Transparent Checkpointing of MPI at Scale.	SC (Workshops)	2021	DBLP DOI BibTeX RDF
13	Mingran Yang, Junbo Zhang, Akshay Gadre, Zaoxing Liu, Swarun Kumar, Vyas Sekar	Joltik: enabling energy-efficient "future-proof" analytics on low-power wide-area networks.	MobiCom	2020	DBLP DOI BibTeX RDF
13	Jens-Peter Akelbein, Kai Beckmann, Mario Hoss, Samuel Schneider, Stefan Seyfarth, Marcus Thoss	BASE MoVE - A Basis for a Future-proof IoT Sensor.	GI-Jahrestagung	2020	DBLP DOI BibTeX RDF
13	Vincenzo Sciancalepore, Christian Mannweiler, Faqir Zarrar Yousaf, Pablo Serrano 0001, Marco Gramaglia, Julie Bradford, Ignacio Labrador Pavón	A Future-Proof Architecture for Management and Orchestration of Multi-Domain NextGen Networks.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Wei Ren 0002	Reduced Collatz Dynamics Data Reveals Properties for the Future Proof of Collatz Conjecture.	Data	2019	DBLP DOI BibTeX RDF
13	Arthur Novikov, Vladan Ivetic, Tatyana Novikova, Evgeniy Petrishchev	Scots Pine Seedlings Growth Dynamics Data Reveals Properties for the Future Proof of Seed Coat Color Grading Conjecture.	Data	2019	DBLP DOI BibTeX RDF
13	Sudeep Balan, Joseph Mathew, C. S. Lajitha, L. R. Sreedhanya, Vijaya Bhaskara Rao	Design Methodology for Developing a future-proof IEC 61850 based Intelligent Electronic Device.	TENCON	2019	DBLP DOI BibTeX RDF
13	Kirstine Rosenbeck Gøeg, Rune Kongsgaard Rasmussen, Lasse Jensen, Christian Møller Wollesen, Søren Larsen, Louise Bilenberg Pape-Haugaard	A future-proof architecture for telemedicine using loose-coupled modules and HL7 FHIR.	Comput. Methods Programs Biomed.	2018	DBLP DOI BibTeX RDF
13	Marc Stelzner, Thomas Eisenbarth 0001	IT Security in Lübeck - The design of a modern and future-proof security curriculum.	EWME	2018	DBLP DOI BibTeX RDF
13	Jesus R. Nieto, Charlie Banks, Ryan Chan	Abstracting rigging concepts for a future proof framework design.	DigiPro	2018	DBLP DOI BibTeX RDF
13	Neil Shah, Hemank Lamba, Alex Beutel, Christos Faloutsos	OEC: Open-Ended Classification for Future-Proof Link-Fraud Detection.	CoRR	2017	DBLP BibTeX RDF
13	Stefan Oberbichler, Werner O. Hackl, Alexander Hörbst	EsPRit: ethics committee proposals for Long Term Medical Data Registries in rapidly evolving research fields - a future-proof best practice approach.	BMC Medical Informatics Decis. Mak.	2017	DBLP DOI BibTeX RDF
13	Dimitrios Bozikas, Nikolaos Alachiotis 0001, Pavlos Pavlidis, Euripides Sotiriades, Apostolos Dollas	Deploying FPGAs to future-proof genome-wide analyses based on linkage disequilibrium.	FPL	2017	DBLP DOI BibTeX RDF
13	Tim Abels, Rahul Khanna, Kevin Midkiff	Future proof IoT: Composable semantics, security, QoS and reliability.	WiSNet	2017	DBLP DOI BibTeX RDF
13	Oliver Meier, Sebastian Trojahn, Henning Strubelt	Perspectives of a future-proof primary resource logistics chain.	WSC	2017	DBLP DOI BibTeX RDF
13	Stefan Kugele, Vadim Cebotari, Mario Gleirscher, Morteza Hashemi Farzaneh, Christoph Segler, Sina Shafaei, Hans-Jörg Vögel, Fridolin Bauer, Alois C. Knoll, Diego Marmsoler, Hans-Ulrich Michel	Research Challenges for a Future-Proof E/E Architecture - A Project Statement.	GI-Jahrestagung	2017	DBLP DOI BibTeX RDF
13	Paola Iovanna, Fabio Cavaliere, Francesco Testa, Stefano Stracca, Giulio Bottari, Filippo Ponzini, Alberto Bianchi, Roberto Sabella	Future Proof Optical Network Infrastructure for 5G Transport.	JOCN	2016	DBLP DOI BibTeX RDF
13	Ahmed Triki, Ion Popescu, Annie Gravey, Xiaoyuan Cao, Takehiro Tsuritani, Philippe Gravey	TWIN as a future-proof optical transport technology for next generation metro networks.	HPSR	2016	DBLP DOI BibTeX RDF
13	Björn Debaillie, Claude Desset, Filip Louagie	A Flexible and Future-Proof Power Model for Cellular Base Stations.	VTC Spring	2015	DBLP DOI BibTeX RDF
13	Diego Boscá, David Moner, José Alberto Maldonado, Montserrat Robles	Combining Archetypes with Fast Health Interoperability Resources in Future-proof Health Information Systems.	MIE	2015	DBLP DOI BibTeX RDF
13	Pawel Parol, Michal Pawlowski	Future Proof Access Networks for B2B Applications.	Informatica (Slovenia)	2014	DBLP BibTeX RDF
13	Constantine J. Aivalis, Anthony C. Boucouvalas	Future proof analytics techniques for web 2.0 applications.	TEMU	2014	DBLP DOI BibTeX RDF
13	Alberto Sendin, Il Han Kim, Simone Bois, Andrés Muñoz, Asier Llano	PRIME v1.4 evolution: A future proof of reality beyond metering.	SmartGridComm	2014	DBLP DOI BibTeX RDF
13	Gregory Mone	Future-proof encryption.	Commun. ACM	2013	DBLP DOI BibTeX RDF
13	Haoyu Song 0001	Protocol-oblivious forwarding: unleash the power of SDN through a future-proof forwarding plane.	HotSDN	2013	DBLP DOI BibTeX RDF
13	Steve Whittaker 0001, Vaiva Kalnikaité, Daniela Petrelli, Abigail Sellen, Nicolas Villar, Ofer Bergman, Paul D. Clough, Jens Brockmeier	Socio-Technical Lifelogging: Deriving Design Principles for a Future Proof Digital Past.	Hum. Comput. Interact.	2012	DBLP DOI BibTeX RDF
13	Klaus Rechert, Dirk von Suchodoletz, Isgandar Valizada	Future-Proof Preservation of Complex Software Environments.	iPRES	2012	DBLP BibTeX RDF
13	Denis Martin, Hans Wippel, Helge Backhaus	A future-proof application-to-network interface.	NOF	2011	DBLP DOI BibTeX RDF
13	Marit Hansen	Towards Future-Proof Privacy-Respecting Identity Management Systems.	ISSE	2010	DBLP DOI BibTeX RDF
13	Wolfgang Fischer 0002	Future Proof Next Generation Access Networks - The Case for FTTH.	BROADNETS	2010	DBLP DOI BibTeX RDF
13	Helma van der Linden, Dipak Kalra, Arie Hasman, Jan L. Talmon	Inter-organizational future proof EHR systems: A review of the security and privacy related issues.	Int. J. Medical Informatics	2009	DBLP DOI BibTeX RDF
13	Helma van der Linden, Tony Austin, Jan L. Talmon	Generic screen representations for future-proof systems, is it possible?: There is more to a GUI than meets the eye.	Comput. Methods Programs Biomed.	2009	DBLP DOI BibTeX RDF
13	Arthur H. M. van Roermund	Smart, flexible, and future-proof data converters.	ECCTD	2007	DBLP DOI BibTeX RDF
13	Helma van der Linden, Thilo Schuler, Rong Chen, Jan L. Talmon	Generic Screen Representations for Future Proof Systems - Is It Possible? Two-model approach to a generic GUI.	MedInfo	2007	DBLP DOI BibTeX RDF
13	Christian Hauser	Mobility management meets privacy: the failure of existing proposals and a new, future-proof approach.	Mobility Management & Wireless Access Protocols	2004	DBLP DOI BibTeX RDF	multiple identities, privacy, mobility management, mobile IP
8	Warren A. Hunt Jr., Erik Reeber	A SAT-based procedure for verifying finite state machines in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF	satisfiability solving, theorem proving, hardware verification, ACL2
8	Erik Reeber, Warren A. Hunt Jr.	A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA).	IJCAR	2006	DBLP DOI BibTeX RDF
7	Adam Strickland, Dick Whittington, Phil Taylor, Bing Wang	Analysis of BPEL and High-Level Web Service Orchestration: Bringing Benefits to the Problems of the Business.	DEXA	2006	DBLP DOI BibTeX RDF	Web Service, model checking, SOA, BPEL, WSDL
7	Gerald Quirchmayr, A Min Tjoa	Enterprise Application Integration - Future Revisited?	EC-Web	2003	DBLP DOI BibTeX RDF
5	Les Hatton, Michiel van Genuchten	Point/Counterpoint.	IEEE Softw.	2009	DBLP DOI BibTeX RDF
5	Patrik Bichsel, Jan Camenisch, Thomas Groß 0001, Victor Shoup	Anonymous credentials on a standard java card.	CCS	2009	DBLP DOI BibTeX RDF	privacy-enhancing systems, smart card, java card, anonymous credential systems
5	Timo-Pekka Viljamaa	Unified media functions for mobile multimedia devices.	Mobility Conference	2008	DBLP DOI BibTeX RDF	unified media experience, unified media functions, unified media player, mobile media
5	Martin Maier 0001, Navid Ghazisaidi, Martin Reisslein	The Audacity of Fiber-Wireless (FiWi) Networks.	AccessNets	2008	DBLP DOI BibTeX RDF	FiWi, FTTH, optical-wireless integration, R? RoF, RPR, QoS, MAC, WiMAX, WiFi, path selection, EPON, WMN
5	Kae Hsiang Kwong, Hammad Yaqoob, W. Craig Michie, Ivan Andonovic	WDM Dynamic Bandwidth Allocation Schemes for Ethernet PONs.	AccessNets	2008	DBLP DOI BibTeX RDF	passive optical network (PON), MPCP, MAC, Ethernet, wavelength division multiplexing, polling, dynamic bandwidth allocation
5	Jens H. Weber-Jahnke	Modelling of Longitudinal Information Systems with Graph Grammars.	AGTIVE	2007	DBLP DOI BibTeX RDF	longitudinal health records, two-level modelling, Triple graph grammars, data engineering, archetypes
5	Marek Hajduczenia, Daniel Fonseca, Henrique J. A. da Silva, Paulo P. Monteiro	Fault Discovery Protocol (FDP) for Passive Optical Networks (PONs).	ISCC	2007	DBLP DOI BibTeX RDF
5	Wouter Rogiest, Dieter Fiems, Koenraad Laevens, Herwig Bruneel	Tracing an Optical Buffer's Performance: An Effective Approach.	NET-COOP	2007	DBLP DOI BibTeX RDF	FDL, fiber delay lines, discrete-time optimization, OBS, optical buffer
5	Ansgar R. S. Gerlicher	A Framework for Real-Time Collaborative Engineering in the Automotive Industries.	CDVE	2006	DBLP DOI BibTeX RDF	Vehicle Electrical System, XML, Software Engineering, CSCW, Groupware, Collaborative Engineering, Real-time Collaboration
5	Jörg Reinbothe	European Copyright - Yesterday, Today, Tomorrow.	Digital Rights Management	2003	DBLP DOI BibTeX RDF
5	Luc Moreau 0001	Agents for the Grid: A Comparison with Web Services (Part I: Transport Layer).	CCGRID	2002	DBLP DOI BibTeX RDF
5	Mikko Terho	Mobile Web Services and Software Quality.	ECSQ	2002	DBLP DOI BibTeX RDF
5	Mike Chesher, Walter Skok	Roadmap for successful information technology transfer for small businesses.	SIGCPR	2000	DBLP DOI BibTeX RDF	Internet, electronic commerce, ICT, technology transfer, SME
5	Thierry Chich, Fabrice Clérot	Wavelength Converters for Deflection Routing Networks.	ISCC	2000	DBLP DOI BibTeX RDF	wavelength conversion, All-optical networks, deflection routing, MAN
5	Liwen Shih	Microprogramming heritage of RISC design.	MICRO	1990	DBLP BibTeX RDF