Search results for "CBS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit	Formal Specifications of Computer-Based Systems.	ECBS	2003	DBLP DOI BibTeX RDF
27	Douglas Kunda	STACE: Social Technical Approach to COTS Software Evaluation.	Component-Based Software Quality	2003	DBLP DOI BibTeX RDF
27	Sanjoy K. Baruah, Joël Goossens, Giuseppe Lipari	Implementing Constant-Bandwidth Servers upon Multiprocessor Platform.	IEEE Real Time Technology and Applications Symposium	2002	DBLP DOI BibTeX RDF
27	Karol Ostrovsky, K. V. S. Prasad, Walid Taha	Towards a primitive higher order calculus of broadcasting systems.	PPDP	2002	DBLP DOI BibTeX RDF	calculi, semantics, concurrency, broadcasting, programming languages, ethernet
27	Giuseppe Lipari, Sanjoy K. Baruah	A Hierarchical Extension to the Constant Bandwidth Server Framework.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF	Constant-bandwidth server, Hierarchical composition, Inter-application isolation, Bandwidth reclamation, Earliest deadline first, Preemptive scheduling
27	Miroslav Svéda, Franz Pichler, Charles Rattray	IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems.	ECBS	2000	DBLP DOI BibTeX RDF
27	Ernesto Compatangelo	Towards an Open Framework for Conceptual Knowledge in ECBS Domain and Information Modelling.	ECBS	1997	DBLP DOI BibTeX RDF
27	Gerhard Schweizer	Foundations for the ECBS process.	ECBS	1996	DBLP DOI BibTeX RDF	ECBS process, IEEE TC on ECBS, systems engineering, software production, life cycle, societies, computer based systems, professional aspects, ECBS
27	Matthew Hennessy, Julian Rathke	Bisimulations for a Calculus of Broadcasting Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
27	Uno Holmer	Interpreting Broadcast Communication in SCCS.	CONCUR	1993	DBLP DOI BibTeX RDF
25	Yi-hong Zhou, Ling Song, Wen-nian Xu	The Application Research of Concretes Biotechnics Slope.	ESIAT (1)	2009	DBLP DOI BibTeX RDF	concretes biotechnics slope (CBS), ecological recovery, application prospect
25	Basem Suleiman	Commercial-Off-The-Shelf Software Development Framework.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Comercial-Off-The-Shelf (COTS), Component Software Development (CBS), Project Management, Software Components
25	Trevor Parsons	A framework for detecting, assessing and visualizing performance antipatterns in component based systems.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	component-based systems (CBS), enterprise java beans (EJB), data mining, dynamic analysis, antipatterns
25	Markus Voss	Systems theories and architectures for ECBS.	ECBS	1996	DBLP DOI BibTeX RDF	engineering discipline, CBS lifecycles, systems analysis, systems engineering, systems theories, computer-based systems, ECBS
24	Luxi Zhao 0001, Yida Yan, Xuan Zhou	Minimum Bandwidth Reservation for CBS in TSN With Real-Time QoS Guarantees.	IEEE Trans. Ind. Informatics	2024	DBLP DOI BibTeX RDF
24	Mehdi Seydali, Farshad Khunjush, Behzad Akbari, Javad Dogani	CBS: A Deep Learning Approach for Encrypted Traffic Classification With Mixed Spatio-Temporal and Statistical Features.	IEEE Access	2023	DBLP DOI BibTeX RDF
24	Akmaral Moldagalieva, Joaquim Ortiz de Haro, Marc Toussaint, Wolfgang Hönig	db-CBS: Discontinuity-Bounded Conflict-Based Search for Multi-Robot Kinodynamic Motion Planning.	CoRR	2023	DBLP DOI BibTeX RDF
24	Reinder J. Bril, Hamid Hassani, Pieter J. L. Cuijpers, Geoffrey Nelissen	Cost of Robustness of Independent WCRT Analysis for CBS of Ethernet AVB Using Eligible Intervals.	WFCS	2023	DBLP DOI BibTeX RDF
24	Huaibo Zhao, Shinya Fujie, Tetsuji Ogawa, Jin Sakuma, Yusuke Kida, Tetsunori Kobayashi	Conversation-Oriented ASR with Multi-Look-Ahead CBS Architecture.	ICASSP	2023	DBLP DOI BibTeX RDF
24	Rishi Veerapaneni, Tushar Kusnur, Maxim Likhachev	Effective Integration of Weighted Cost-to-Go and Conflict Heuristic within Suboptimal CBS.	AAAI	2023	DBLP DOI BibTeX RDF
24	Honoka Awane, Yoshihiro Ito	QoS Estimation of In-vehicle Ethernet with CBS and TAS by Multiple Regression Analysis.	ICTC	2023	DBLP DOI BibTeX RDF
24	Akari Yoshimura, Yoshihiro Ito	QoS Comparison of ATS and CBS in IEEE 802.1TSN over In-Vehicle Ethernet Based on Automotive Use Case.	ICTC	2023	DBLP DOI BibTeX RDF
24	Jianyi Zhang, Ang Li 0005, Minxue Tang, Jingwei Sun 0002, Xiang Chen 0010, Fan Zhang, Changyou Chen, Yiran Chen 0001, Hai Li 0001	Fed-CBS: A Heterogeneity-Aware Client Sampling Mechanism for Federated Learning via Class-Imbalance Reduction.	ICML	2023	DBLP BibTeX RDF
24	Maria Luz Gandarias, Nauman Raza	Conservation Laws and Travelling Wave Solutions for a Negative-Order KdV-CBS Equation in 3+1 Dimensions.	Symmetry	2022	DBLP DOI BibTeX RDF
24	Ximeng Ye, Guoliang Qin, Ya Zhuo, Miaomiao Li	Analysis/application of stabilization by the over-integration technique in CBS-SEM for incompressible flow.	Comput. Math. Appl.	2022	DBLP DOI BibTeX RDF
24	Pengyu Zhang, Yingfu Wu, Haoru Zhou, Bing Zhou, Hongming Zhang 0002, Hao Wu 0062	CLNN-loop: a deep learning model to predict CTCF-mediated chromatin loops in the different cell lines and CTCF-binding sites (CBS) pair types.	Bioinform.	2022	DBLP DOI BibTeX RDF
24	Jaein Lim, Panagiotis Tsiotras	CBS-Budget (CBSB): A Complete and Bounded Suboptimal Search for Multi-Agent Path Finding.	CoRR	2022	DBLP DOI BibTeX RDF
24	Huaibo Zhao, Shinya Fujie, Tetsuji Ogawa, Jin Sakuma, Yusuke Kida, Tetsunori Kobayashi	Conversation-oriented ASR with multi-look-ahead CBS architecture.	CoRR	2022	DBLP DOI BibTeX RDF
24	Rishi Veerapaneni, Tushar Kusnur, Maxim Likhachev	Effectively Incorporating Weighted Cost-to-go Heuristic in Suboptimal CBS.	CoRR	2022	DBLP DOI BibTeX RDF
24	Jianyi Zhang, Ang Li 0005, Minxue Tang, Jingwei Sun 0002, Xiang Chen 0010, Fan Zhang, Changyou Chen, Yiran Chen 0001, Hai Li 0001	Fed-CBS: A Heterogeneity-Aware Client Sampling Mechanism for Federated Learning via Class-Imbalance Reduction.	CoRR	2022	DBLP DOI BibTeX RDF
24	Ilya Ivanashev, Anton Andreychuk, Konstantin S. Yakovlev	Analysis Of The Anytime MAPF Solvers Based On The Combination Of Conflict-Based Search (CBS) and Focal Search (FS).	CoRR	2022	DBLP DOI BibTeX RDF
24	Zhuang Tian, Wujun Yang, Juan Guo, Yuanzheng Cheng	A CBS Shaper Based on DDQN.	AIPR	2022	DBLP DOI BibTeX RDF
24	Ilya Ivanashev, Anton Andreychuk, Konstantin S. Yakovlev	Analysis of the Anytime MAPF Solvers Based on the Combination of Conflict-Based Search (CBS) and Focal Search (FS).	MICAI (1)	2022	DBLP DOI BibTeX RDF
24	Moe Nitta, Yoshihiro Ito, Akari Yoshimura	A Proposal of Method of Finding Appropriate idleSlope Values Over In-Vehicle Ethernet With CBS.	ICTC	2022	DBLP DOI BibTeX RDF
24	Hyunjoo Kang, Seung-Hee Oh, Sang-Lim Ju	Priority-based CBS Transmission for Multiple CBEs in 5G Networks.	ICTC	2022	DBLP DOI BibTeX RDF
24	Honoka Awane, Yoshihiro Ito, Maika Koizumi	Study on QoS Estimation of In-vehicle Ethernet with CBS by Multiple Regression Analysis.	ICTC	2022	DBLP DOI BibTeX RDF
24	Mahbub Ul Alam 0002, Muhammad Abul Kalam Azad 0003, Md. Showkat Ali	Best Practices to Secure API Implementations in Core Banking System (CBS) in Banks.	CCWC	2022	DBLP DOI BibTeX RDF
24	Rishi Veerapaneni, Tushar Kusnur, Maxim Likhachev	Effectively Incorporating Weighted Cost-to-go Heuristic in Suboptimal CBS (Extended Abstract).	SOCS	2022	DBLP DOI BibTeX RDF
24	Taleb Ennouhe, Yoshihiro Ito	Study on SPQ and CBS effect on QoS over wired home networks.	GCCE	2022	DBLP DOI BibTeX RDF
24	Rong Xiang, Jinghang Gu, Emmanuele Chersoni, Wenjie Li 0002, Qin Lu 0001, Chu-Ren Huang	PolyU CBS-Comp at SemEval-2021 Task 1: Lexical Complexity Prediction (LCP).	SemEval@ACL/IJCNLP	2021	DBLP DOI BibTeX RDF
24	Emmanuele Chersoni, Chu-Ren Huang	PolyU-CBS at the FinSim-2 Task: Combining Distributional, String-Based and Transformers-Based Features for Hypernymy Detection in the Financial Domain.	WWW (Companion Volume)	2021	DBLP DOI BibTeX RDF
24	Hyunjoo Kang, Seung-Hee Oh, Sang-Lim Ju, Woo-Sug Jung, Yong-Tae Lee	A Proposal of Parameter Extension for Multilanguage in 5G CBS.	ICTC	2021	DBLP DOI BibTeX RDF
24	Olga V. Dorofeeva	Accurate prediction of norbornadiene cycle enthalpies by DLPNO-CCSD(T1)/CBS method.	J. Comput. Chem.	2020	DBLP DOI BibTeX RDF
24	Cameron D. Smith, Amir Karton	Kinetics and Thermodynamics of Reactions Involving Criegee Intermediates: An Assessment of Density Functional Theory and Ab Initio Methods Through Comparison with CCSDT(Q)/CBS Data.	J. Comput. Chem.	2020	DBLP DOI BibTeX RDF
24	Jiu-Li Chen, Tao Sun, Yi-Bo Wang, Weizhou Wang	Toward a less costly but accurate calculation of the CCSD(T)/CBS noncovalent interaction energy.	J. Comput. Chem.	2020	DBLP DOI BibTeX RDF
24	Oriana Peltzer, Kyle Brown, Mac Schwager, Mykel J. Kochenderfer, Martin A. Sehr	STT-CBS: A Conflict-Based Search Algorithm for Multi-Agent Path Finding with Stochastic Travel Times.	CoRR	2020	DBLP BibTeX RDF
24	Peter D. Mosses	Software meta-language engineering and CBS.	J. Comput. Lang.	2019	DBLP DOI BibTeX RDF
24	Rupesh K. Kesharwani, Mattia Chiesa, Riccardo Bellazzi, Gualtiero I. Colombo	CBS-miRSeq: A comprehensive tool for accurate and extensive analyses of microRNA-sequencing data.	Comput. Biol. Medicine	2019	DBLP DOI BibTeX RDF
24	Marc Boyer, Hugo Daigmorte	Impact on credit freeze before gate closing in CBS and GCL integration into TSN.	RTNS	2019	DBLP DOI BibTeX RDF
24	Ho-Sang Moon, Sung-Wook Shin, Sung-Taek Chung, Eok Kim	K-CBS-based unilateral spatial neglect rehabilitation training contents utilizing virtual reality.	ICEIC	2019	DBLP DOI BibTeX RDF
24	Graeme Gange, Daniel Harabor, Peter J. Stuckey	Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation.	ICAPS	2019	DBLP BibTeX RDF
24	Yücel Güllüce	Yangın riski taşıyan açık alanlar için CBS tabanlı, bulut altyapılı, yüksek hassasiyetli, nanofotonik erken yangın tespit sistemi tasarımı ve uygulaması (Design and implementation of a GIS based, cloud substructured, high sensitive, nanophotonic early fire detection system for fire risk areas)		2019	RDF
24	Adam J. Crowder, Catherine E. Powell	CBS Constants & Their Role in Error Estimation for Stochastic Galerkin Finite Element Methods.	J. Sci. Comput.	2018	DBLP DOI BibTeX RDF
24	Sebastian Szancer, Philipp Meyer, Franz Korf	Migration from SERCOS III to TSN - Simulation Based Comparison of TDMA and CBS Transportation.	OMNeT++	2018	DBLP DOI BibTeX RDF
24	Fusang Zhang, Hai Liu 0001, Yiu-Wing Leung, Xiaowen Chu 0001, Beihong Jin	CBS: Community-Based Bus System as Routing Backbone for Vehicular Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2017	DBLP DOI BibTeX RDF
24	Wiktor B. Daszczuk	Critical trees: counterexamples in model checking of CSM systems using CBS algorithm.	CoRR	2017	DBLP BibTeX RDF
24	Yasin Ortakci	Acil durumlarda iç mekanların tahliyesine yönelik 3B CBS tabanlı akıllı mobil navigasyon sisteminin geliştirilmesi (Development of a 3D GIS based intelligent mobile navigation system for evacuation of indoor environments in emercengy cases)		2017	RDF
24	Christine Lucas Tardif, Andreas Schäfer 0003, Robert Trampel, Arno Villringer, Robert Turner, Pierre-Louis Bazin	Open Science CBS Neuroimaging Repository: Sharing ultra-high-field MR images of the brain.	NeuroImage	2016	DBLP DOI BibTeX RDF
24	Ivana Pultarová	Hierarchical preconditioning for the stochastic Galerkin method: Upper bounds to the strengthened CBS constants.	Comput. Math. Appl.	2016	DBLP DOI BibTeX RDF
24	Amir Karton, Lars Goerigk	Accurate reaction barrier heights of pericyclic reactions: Surprisingly large deviations for the CBS-QB3 composite method and their consequences in DFT benchmark studies.	J. Comput. Chem.	2015	DBLP DOI BibTeX RDF
24	Ümit Atila	3b cbs kapsamında çok katlı bina yangınlarına yönelik akıllı bireysel tahliye modelinin yapay sinir ağı ile tasarlanması (Design of an intelligent individual evacuation model for high rise building fires using neural network within the scope of 3d gis)		2013	RDF
24	Min Wang, Chunyan Feng, Tiankui Zhang	Radio resource joint management scheme for the BBS and CBS mixed mode of BWM systems.	WPMC	2011	DBLP BibTeX RDF
24	Hedieh Sajedi, Mansour Jamzad	CBS: Contourlet-Based Steganalysis Method.	J. Signal Process. Syst.	2010	DBLP DOI BibTeX RDF
24	Ivan Georgiev, Maria Lymbery, Svetozar Margenov	Analysis of the CBS Constant for Quadratic Finite Elements.	NMA	2010	DBLP DOI BibTeX RDF
24	Shih-I Lu	Gibbs energy of activation for thermal isomerization of (1Z)-acetaldehyde hydrazone and (1Z)-acetaldehyde N, N-dimethylhydrazone by Gaussian-4 theory and CCSD(T)/CBS computations.	J. Comput. Chem.	2009	DBLP DOI BibTeX RDF
24	Chris Davison 0003	CBS vision: an interview with Dave Poltrack.	Comput. Entertain.	2008	DBLP DOI BibTeX RDF
24	Suman K. Gunnala, Mingyu Lu, Jonathan W. Bredow, Saibun Tjuatja	Subsurface Sensing of Near Surface Object Using Cavity Backed Slot (CBS) Antenna.	IGARSS (2)	2008	DBLP DOI BibTeX RDF
24	Nasib Singh Gill, Pradeep Tomar	CBS testing requirements and test case process documentation revisited.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	component provider, component user, component-based system development, component-based system testing, testing, testability, component-based system
24	Raytcho D. Lazarov, Svetozar Margenov	CBS constants for multilevel splitting of graph-Laplacian and application to preconditioning of discontinuous Galerkin systems.	J. Complex.	2007	DBLP DOI BibTeX RDF
24	Gabriele Cecchetti, Anna Lina Ruscelli, Fabio Checconi	W-CBS: a scheduling algorithm for supporting QoS in IEEE 802.11e.	QSHINE	2007	DBLP DOI BibTeX RDF
24	Chengying Mao, Jinlong Zhang, Yansheng Lu	Using Dependence Matrix to Support Change Impact Analysis for CBS.	ICCSA Workshops	2007	DBLP DOI BibTeX RDF
24	William I. Gasarch	A joint review of "Reality Conditions: Short Mathematical Fiction, by Alex Kasman", MAA 2005;"Numb3rs, TV show. CBS", Free. Currently running Fridays at 10: 00PM; "Mathematical Apocryphia: Stories and Annecdotes of Mathematicians and the Mathematical by Steven Kranz", MAA, 2002; "Mathematical Apocryphia Redux: More Stories and Annecdotes of Mathematicians and the Mathematical by Steven Kranz", MAA, 1999.	SIGACT News	2006	DBLP DOI BibTeX RDF
24	Vincent Shin-Mu Tseng, Chao-Hui Lee	CBS: A New Classification Method by Using Sequential Patterns.	SDM	2005	DBLP DOI BibTeX RDF
24	Radim Blaheta, Svetozar Margenov, Maya G. Neytcheva	Uniform estimate of the constant in the strengthened CBS inequality for anisotropic non-conforming FEM systems.	Numer. Linear Algebra Appl.	2004	DBLP DOI BibTeX RDF
24	Peter F. Hallin, David Ussery	CBS Genome Atlas Database: a dynamic storage for bioinformatic results and sequence data.	Bioinform.	2004	DBLP DOI BibTeX RDF
24	Jonathan Sprinkle	Improving CBS Tool Development with Technological Spaces.	ECBS	2004	DBLP DOI BibTeX RDF
24	Michael O. Jewell, Mark S. Nixon, Adam Prügel-Bennett	CBS: a concept-based sequencer for soundtrack composition.	WEDELMUSIC	2003	DBLP DOI BibTeX RDF
24	Serge Vaudenay	Decorrelation over infinite domains: The encrypted CBS-MAC case.	Commun. Inf. Syst.	2001	DBLP DOI BibTeX RDF
24	David Sands, Martin Weichert	From Gamma to CBS: Refining Multiset Transformations with Broadcasting Processes.	HICSS (7)	1998	DBLP DOI BibTeX RDF
24	Ann Latham Cudworth	Virtual scenery in broadcast television: the Time 100 project at CBS television.	SIGGRAPH Abstracts and Applications	1998	DBLP DOI BibTeX RDF
24	William J. Doll, Mark W. Doll	Downsizing at CBS/FOX video.	Inf. Manag.	1992	DBLP DOI BibTeX RDF
24	Arthur Anger	CBS spark New-England group-from glass box to crystal ball.	ACM SIGAPL APL Quote Quad	1984	DBLP DOI BibTeX RDF
24	Nancy French	CBS was ready and waiting...: but delegate profiles unneeded.	ACM SIGAPL APL Quote Quad	1976	DBLP DOI BibTeX RDF
14	Jun Zou, Dongmei Zhao	Connection-based scheduling for supporting real-time traffic in wireless mesh networks.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
14	Rodolfo Pellizzoni, Marco Caccamo	M-CASH: A real-time resource reclaiming algorithm for multiprocessor platforms.	Real Time Syst.	2008	DBLP DOI BibTeX RDF	Real-time resource reservation, Real-time scheduling, Symmetric multiprocessors
14	Newton Lee	A word from the editor.	Comput. Entertain.	2008	DBLP DOI BibTeX RDF
14	Bernd J. Krämer	Component meets service: what does the mongrel look like?	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Software engineering, Service-oriented architecture, Service-oriented computing, Service component architecture
14	Nicola Manica, Luca Abeni, Luigi Palopoli 0002	QoS Support in the X11 Window System.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	real-time window managers, QoS, resource reservations
14	Zhu Xiangbin	Virtual Deadline Scheduling Algorithm on Window-Constrained Constant Bandwidth Server.	CSSE (2)	2008	DBLP DOI BibTeX RDF
14	Zhu Xiangbin	Support QoS in Open Real-Time Systems.	CSSE (2)	2008	DBLP DOI BibTeX RDF
14	Petia T. Boyanova, Svetozar Margenov	Multilevel Splitting of Weighted Graph-Laplacian Arising in Non-conforming Mixed FEM Elliptic Problems.	NAA	2008	DBLP DOI BibTeX RDF
14	David Livolsi, Tim O'Neill, John Leaney, Mark Denford, Kyle Dunsire	Guided Architecture-based Design Optimisation of CBSs.	ECBS	2006	DBLP DOI BibTeX RDF
14	Giorgio C. Buttazzo, Enrico Bini	Optimal Dimensioning of a Constant Bandwidth Server.	RTSS	2006	DBLP DOI BibTeX RDF
14	Toru Ishida 0001	Agent and Grid Technologies for Intercultural Collaboration.	PRIMA	2006	DBLP DOI BibTeX RDF
14	Yong Zhang, Ningjiang Chen, Jun Wei 0001, Tao Huang 0001	Completing UML Model of Component-Based System with Middleware for Performance Evaluation.	EUC Workshops	2006	DBLP DOI BibTeX RDF
14	Liangli Ma, Houxiang Wang, Yansheng Lu	The Design of Dependency Relationships Matrix to improve the testability of Component-based Software.	QSIC	2006	DBLP DOI BibTeX RDF
14	Svetozar Margenov, Josef Synka	Generalized Aggregation-Based Multilevel Preconditioning of Crouzeix-Raviart FEM Elliptic Problems.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF	multilevel preconditioning, hierarchical basis, differentiation and aggregation
14	Liangli Ma, Houxiang Wang, Yongjie Li	Using Component Metadata based on Dependency Relationships Matrix to improve the Testability of Component-based Software.	ICDIM	2006	DBLP DOI BibTeX RDF
14	Christian Blum 0001, Marco Dorigo	Search bias in ant colony optimization: on the role of competition-balanced systems.	IEEE Trans. Evol. Comput.	2005	DBLP DOI BibTeX RDF
14	Jonah Z. Lavi, Joseph Kudish	Systems modeling & requirements specification using ECSAM: an analysis method for embedded & computer-based systems.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF