Search results for "BPA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
136	Jinggang Wang, Binoy Ravindran	BPA: A Fast Packet Scheduling Algorithm for Real-Time Switched Ethernet Networks.	ICPP	2002	DBLP DOI BibTeX RDF
104	Esdras Soares de Medeiros Filho, Luiz Velho 0001, Hélio Lopes 0001	Restricted BPA: Applying Ball-Pivoting on the Plane.	SIBGRAPI	2004	DBLP DOI BibTeX RDF
104	Ivana Cerná, Mojmír Kretínský, Antonín Kucera 0001	Comparing Expressibility of Normed BPA and Normed BPP Processes.	Acta Informatica	1999	DBLP DOI BibTeX RDF
88	Lingyun Luo	Deciding Bisimilarity of Full BPA Processes Locally.	ATVA	2008	DBLP DOI BibTeX RDF
79	Assem El-Ansary	Requirements Definition of Safe Software Using the Behavioral Patterns Analysis (PBA) Approach: The Railroad Crossing System.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
79	Chris A. McMahon, Yaowu Liu, Rose Crossland, Dave Brown, David Leal, Janardan Devlukia	A best practice advice system to support automotive engineering analysis processes.	Eng. Comput.	2004	DBLP DOI BibTeX RDF	Best practice advice, Engineering repository, Adaptive hypermedia, Engineering analysis
79	Ahmed Bouajjani, Peter Habermehl, Richard Mayr	Automatic Verification of Recursive Procedures with One Integer Parameter.	MFCS	2001	DBLP DOI BibTeX RDF
73	Antonín Kucera 0001, Richard Mayr	On the Complexity of Semantic Equivalences for Pushdown Automata and BPA.	MFCS	2002	DBLP DOI BibTeX RDF
73	Sjouke Mauw, Hans Mulder	Regularity of BPA-Systems is Decidable.	CONCUR	1994	DBLP DOI BibTeX RDF
70	Youngkon Lee	Double layered SOA test architecture based on BPA - simulation event.	ICIS	2009	DBLP DOI BibTeX RDF	QoS, SOA, event-driven architecture, BPA
63	Clemens Grabmayer, Jan Willem Klop, Bas Luttik	Some Remarks on Definability of Process Graphs.	CONCUR	2006	DBLP DOI BibTeX RDF
63	Harald Svensson	A Framework for Improving Soft Factors in Software Development.	EuroSPI	2005	DBLP DOI BibTeX RDF
63	Fausto Bernardini, Joshua Mittleman, Holly E. Rushmeier, Cláudio T. Silva, Gabriel Taubin	The Ball-Pivoting Algorithm for Surface Reconstruction.	IEEE Trans. Vis. Comput. Graph.	1999	DBLP DOI BibTeX RDF	range image, point cloud, 3D scanning, shape reconstruction
57	Hongfei Fu 0001	Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable.	APLAS	2009	DBLP DOI BibTeX RDF
54	Youngkon Lee	Business-Centric SOA Test Framework Based on BPA-Simulated Event.	NCM	2009	DBLP DOI BibTeX RDF	SOA, event-driven, test suites, BPA
54	Youngkon Lee	2-Layered SOA Test Framework Based on BPA-Simulated Event.	NCM	2009	DBLP DOI BibTeX RDF	SOA, event-driven, test suites, BPA
47	Tomoko Tsuruoka, Tetsuya Fujimoto, Noboru Shiota, Makoto Monda, Yukiko Fueta, Toru Ishidao, Hajime Hori, Shuji Aou	Positive and Negative Effects of Environmental Chemicals on Brain Function in Rodents.	Brain-Inspired Information Technology	2010	DBLP DOI BibTeX RDF
47	Carlos Pedrinaci, Ivan Markovic, Florian Hasibether, John Domingue	Strategy-Driven Business Process Analysis.	BIS	2009	DBLP DOI BibTeX RDF	Business Process Analysis, Semantic Business Process Management, Strategic Analysis
47	Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota 0001	Partially-Commutative Context-Free Processes.	CONCUR	2009	DBLP DOI BibTeX RDF
47	Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera 0001	Reachability in Recursive Markov Decision Processes.	CONCUR	2006	DBLP DOI BibTeX RDF
47	Jirí Srba	Strong bisimilarity of simple process algebras: complexity lower bounds.	Acta Informatica	2003	DBLP DOI BibTeX RDF
47	Assem El-Ansary	Behavioral Pattern Analysis: towards a new representation of systems requirements based on actions and events.	SAC	2002	DBLP DOI BibTeX RDF	PBA, event-oriented, requirements, pattern, behavioral
47	Jirí Srba	Deadlocking States in Context-Free Process Algebra.	MFCS	1998	DBLP DOI BibTeX RDF
47	Antonín Kucera 0001	How to Parallelize Sequential Processes.	CONCUR	1997	DBLP DOI BibTeX RDF
47	Søren Christensen, Hans Hüttel, Colin Stirling	Bisimulation Equivalence is Decidable for all Context-Free Processes.	CONCUR	1992	DBLP DOI BibTeX RDF
41	Petr Jancar, Martin Kot, Zdenek Sawa	Normed BPA vs. Normed BPP Revisited.	CONCUR	2008	DBLP DOI BibTeX RDF	Basic Process Algebra, Basic Parallel Processes, verification, equivalence checking, bisimulation equivalence
41	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain	Bisimilarity Is Not Finitely Based over BPA with Interrupt.	CALCO	2005	DBLP DOI BibTeX RDF
32	Tomás Brázdil, Antonín Kucera 0001, Oldrich Strazovský	Deciding probabilistic bisimilarity over infinite-state probabilistic systems.	Acta Informatica	2008	DBLP DOI BibTeX RDF
32	Carlos Pedrinaci, John Domingue, Ana Karla Alves de Medeiros	A Core Ontology for Business Process Analysis.	ESWC	2008	DBLP DOI BibTeX RDF
32	Jirí Srba	Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation.	CSL	2006	DBLP DOI BibTeX RDF
32	Heikki Hyyrö, Gonzalo Navarro 0001	Bit-Parallel Witnesses and Their Applications to Approximate String Matching.	Algorithmica	2005	DBLP DOI BibTeX RDF	Backward DAWG matching, Myers bit-parallel algorithm, Average-optimal string matching allowing errors, Bit-parallelism
32	Naijun Zhan, Jinzhao Wu	Compositionality of Fixpoint Logic with Chop.	ICTAC	2005	DBLP DOI BibTeX RDF
32	Tomás Brázdil, Antonín Kucera 0001, Oldrich Strazovský	Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems.	CONCUR	2004	DBLP DOI BibTeX RDF
32	Catalin I. Tomai, Sargur N. Srihari	Combination of Type III Digit Recognizers using the Dempster-Shafer Theory of Evidence.	ICDAR	2003	DBLP DOI BibTeX RDF
32	Ruy Luiz Milidiú, Artur Alves Pessoa, Eduardo Sany Laber	Pipeline Transportation of Petroleum Products with No Due Dates.	LATIN	2002	DBLP DOI BibTeX RDF
32	Colin Stirling	Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes.	FoSSaCS	2001	DBLP DOI BibTeX RDF
32	Chung-Yu Wu, Chung-Yun Chou	The design of a CMOS IF bandpass amplifier with low sensitivity to process and temperature variations.	ISCAS (1)	2001	DBLP DOI BibTeX RDF
32	Ahmed Bouajjani, Rachid Echahed, Peter Habermehl	Verifying Infinite State Processes with Sequential and Parallel Composition.	POPL	1995	DBLP DOI BibTeX RDF
29	Youngkon Lee	2-Layered SOA Test Framework Based on Event-Simulating Proxy.	NCM	2009	DBLP DOI BibTeX RDF	SOA, event-driven, test suites, BPA
29	Youngkon Lee	An Implementation Case Study: Business Oriented SOA Execution Test Framework.	NCM	2009	DBLP DOI BibTeX RDF	SOA, event-driven, test suites, BPA
25	Houda Saffi, Naima Otberdout, Youssef Hmamouche, Amal El Fallah Seghrouchni	Auto-BPA: An Enhanced Ball-Pivoting Algorithm with Adaptive Radius using Contextual Bandits.	WACV	2024	DBLP DOI BibTeX RDF
25	Bijoy Chand Chatterjee, Basavaprabhu S, Eiji Oki	BPA: Approximation Batch-Processing Algorithm for Static Lightpath Requests in Elastic Optical Networks.	IEEE Netw. Lett.	2022	DBLP DOI BibTeX RDF
25	Haiyi Mao, Yong Deng 0001	Negation of BPA: a belief interval approach and its application in medical pattern recognition.	Appl. Intell.	2022	DBLP DOI BibTeX RDF
25	Katie Burhop, Tatyan Clarke, Kathleen Lux, Bhavik Patel	The Application of Motivational Communication Principles from Advertising to Best Practice Advisory (BPA) Design May Improve User Compliance.	AMIA	2022	DBLP BibTeX RDF
25	Iago C. Chaves, Antônio Diogo Forte Martins, Francisco D. B. S. Praciano, Felipe T. Brito, José Maria Monteiro, Javam C. Machado	BPA: A Multilingual Sentiment Analysis Approach based on BiLSTM.	ICEIS (1)	2022	DBLP DOI BibTeX RDF
25	Hao Liang, Rui Cai	A new correlation coefficient of BPA based on generalized information quality.	Int. J. Intell. Syst.	2021	DBLP DOI BibTeX RDF
25	Jinfeng Jiang, Guiqing Li, Shihao Wu, Huiqian Zhang, Yongwei Nie	BPA-GAN: Human motion transfer using body-part-aware generative adversarial networks.	Graph. Model.	2021	DBLP DOI BibTeX RDF
25	Youbing Zhong, Zhou Zhou 0007, Xuan Liu 0006, Da Li 0002, Meijun Guo, Shuai Zhang, Qingyun Liu, Li Guo	BPA: The Optimal Placement of Interdependent VNFs in Many-Core System.	CollaborateCom (2)	2020	DBLP DOI BibTeX RDF
25	Ahmad Samhan	OntoSoS.BPA.ChM: a semantically-enriched and business process architecture-driven framework for change management in 'System of Systems' context.		2020	RDF
25	Khalid A. Darabkh, Mohammad Z. El-Yabroudi, Ali Husein El-Mousa	BPA-CRP: A balanced power-aware clustering and routing protocol for wireless sensor networks.	Ad Hoc Networks	2019	DBLP DOI BibTeX RDF
25	Yuxuan Miao, Junjie Wu 0001, Jianyu Yang, Huayu Gao	Comparison between Resolution Features of BPA and PFA through Wavenumber Domain Analysis for General Spotlight SAR.	IGARSS	2019	DBLP DOI BibTeX RDF
25	Chunhui Lin, Shiyang Tang, Linrang Zhang, Ping Guo	Focusing High-Resolution Airborne SAR with Topography Variations Using an Extended BPA Based on a Time/Frequency Rotation Principle.	Remote. Sens.	2018	DBLP DOI BibTeX RDF
25	Lingling Pan, Hongji Xu, Min Chen, Yingming Zhou, Junfeng Sun	Improved BPA based Multi-source Nonhomogeneous Continuous Context Inconsistency Resolution Approach.	ICNC-FSKD	2018	DBLP DOI BibTeX RDF
25	Roger Achkar, Fady Elias-Sleiman, Hasan Ezzidine, Nourhane Haidar	Comparison of BPA-MLP and LSTM-RNN for Stocks Prediction.	ISCBI	2018	DBLP DOI BibTeX RDF
25	Qiang Yin 0002, Mingzhang Huang, Chaodong He	Two Lower Bounds for BPA.	CoRR	2017	DBLP BibTeX RDF
25	Petr Jancar	Branching Bisimilarity of Normed BPA Processes as a Rational Monoid.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
25	Mingzhang Huang, Qiang Yin 0002	Two Lower Bounds for BPA.	CONCUR	2017	DBLP DOI BibTeX RDF
25	Petr Jancar	Branching Bisimilarity of Normed BPA Processes as a Rational Monoid.	CoRR	2016	DBLP BibTeX RDF
25	Chaodong He, Mingzhang Huang	Branching Bisimilarity on Normed BPA Is EXPTIME-complete.	CoRR	2015	DBLP BibTeX RDF
25	Wojciech Czerwinski, Petr Jancar	Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME.	LICS	2015	DBLP DOI BibTeX RDF
25	Chaodong He, Mingzhang Huang	Branching Bisimilarity on Normed BPA Is EXPTIME-Complete.	LICS	2015	DBLP DOI BibTeX RDF
25	Chaodong He	A Polynomial Time Algorithm for Deciding Branching Bisimilarity on Totally Normed BPA.	CoRR	2014	DBLP BibTeX RDF
25	Wojciech Czerwinski, Petr Jancar	Branching Bisimilarity of Normed BPA Processes is in NEXPTIME.	CoRR	2014	DBLP BibTeX RDF
25	M. Yazdan Mehr, W. D. van Driel, Kaspar M. B. Jansen, P. Deeben, G. Q. Zhang	Lifetime assessment of Bisphenol-A Polycarbonate (BPA-PC) plastic lens, used in LED-based products.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
25	Guangye Sui, Mohamed Mejri	FASER (Formal and Automatic Security Enforcement by Rewriting) by BPA algebra with test.	Int. J. Grid Util. Comput.	2013	DBLP DOI BibTeX RDF
25	Stefan Kiefer	BPA bisimilarity is EXPTIME-hard.	Inf. Process. Lett.	2013	DBLP DOI BibTeX RDF
25	Yuxi Fu	Checking Equality and Regularity for Normed BPA with Silent Moves.	ICALP (2)	2013	DBLP DOI BibTeX RDF
25	Dominik Wojtczak	Expected Termination Time in BPA Games.	ATVA	2013	DBLP DOI BibTeX RDF
25	Stefan Kiefer	BPA Bisimilarity is EXPTIME-hard	CoRR	2012	DBLP BibTeX RDF
25	Melissa Cheung, Jan Hidders	Round-trip iterative business process modelling between BPA and BPMS tools.	Bus. Process. Manag. J.	2011	DBLP DOI BibTeX RDF
25	Tomás Brázdil, Václav Brozek, Antonín Kucera 0001, Jan Obdrzálek	Qualitative reachability in stochastic BPA games.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
25	Wen Jiang, Yong Deng 0001, JinYe Peng	A New Method to Determine BPA in Evidence Theory.	J. Comput.	2011	DBLP DOI BibTeX RDF
25	Anupam Tarsauliya, Ritu Tiwari, Anupam Shukla	Financial Time Series Forecast using Simulated Annealing and Threshold Acceptance Genetic BPA Neural Network.	ICEIS (2)	2011	DBLP BibTeX RDF
25	Tomás Brázdil, Václav Brozek, Antonín Kucera 0001, Jan Obdrzálek	Qualitative Reachability in Stochastic BPA Games	CoRR	2010	DBLP BibTeX RDF
25	Petr Jancar, Martin Kot, Zdenek Sawa	Complexity of deciding bisimilarity between normed BPA and normed BPP.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
25	Tomás Brázdil, Václav Brozek, Antonín Kucera 0001, Jan Obdrzálek	Qualitative Reachability in Stochastic BPA Games.	STACS	2009	DBLP DOI BibTeX RDF
25	Youngkon Lee	2-Layered SOA Test Architecture Based on BPA-Simulation Event.	FGIT-FGCN	2009	DBLP DOI BibTeX RDF
25	Haiyan Chen	Decidability of Weak Bisimilarity for a Subset of BPA.	FICS	2008	DBLP DOI BibTeX RDF
25	Luca Aceto, Silvio Capobianco	On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt.	Bull. EATCS	2008	DBLP BibTeX RDF
25	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain	Bisimilarity is not finitely based over BPA with interrupt.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
25	Jirí Srba	Complexity Of Weak Bisimilarity And Regularity For Bpa And Bpp.	Math. Struct. Comput. Sci.	2003	DBLP DOI BibTeX RDF
25	Petr Jancar, Antonín Kucera 0001, Faron Moller	Deciding Bisimilarity between BPA and BPP Processes.	CONCUR	2003	DBLP DOI BibTeX RDF
25	Jitka Stríbrná, Ivana Cerná	Modifications of Expansion Trees for Weak Bisimulation in BPA.	INFINITY	2002	DBLP DOI BibTeX RDF
25	Antonín Kucera 0001, Richard Mayr	Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
25	Jirí Srba	Complexity of Weak Bisimilarity and Regularity for BPA and BPP.	EXPRESS	2000	DBLP DOI BibTeX RDF
25	Richard Mayr	Strict Lower Bounds for Model Checking BPA.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
25	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir	A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces.	Math. Struct. Comput. Sci.	1998	DBLP BibTeX RDF
25	Ivana Cerná, Mojmír Kretínský, Antonín Kucera 0001	Bisimilarity is decidable in the union of normed BPA and normed BPP processes.	INFINITY	1996	DBLP DOI BibTeX RDF
25	Antonín Kucera 0001	Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time.	SOFSEM	1996	DBLP DOI BibTeX RDF
25	Yigang Chen, Yutaka Usuda	Design and implementation of a knowledge based BPA/BPR tool: EUOBFE.	SEKE	1994	DBLP BibTeX RDF
25	Jan Friso Groote	A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes.	Inf. Process. Lett.	1992	DBLP DOI BibTeX RDF
16	Janico Greifenberg, Dirk Kutscher	RDTN: An Agile DTN Research Platform and Bundle Protocol Agent.	WWIC	2009	DBLP DOI BibTeX RDF	Simulation, Implementation, DTN
16	Haiyan Chen	More on Weak Bisimilarity of Normed Basic Parallel Processes.	TAMC	2008	DBLP DOI BibTeX RDF
16	Fumiaki Sato, Sumito Iijima	Battery and Power Aware Routing in Mobile Ad Hoc Networks.	NBiS	2007	DBLP DOI BibTeX RDF	battery aware routing, Ad hoc networks, dynamic source routing, power aware routing
16	Xinxin Liu, Haiyan Chen	Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau.	ICTAC	2007	DBLP DOI BibTeX RDF
16	Yuan-Chun Jiang, Ye-Zheng Liu 0001, Xiao Liu 0004, Jie-Kui Zhang	Constructing Associative Classifier Using Rough Sets and Evidence Theory.	RSFDGrC	2007	DBLP DOI BibTeX RDF	Evidence weight, Rough sets, Evidence theory, Associative classification, Combination strategy
16	Onur Aciiçmez, Shay Gueron, Jean-Pierre Seifert	New Branch Prediction Vulnerabilities in OpenSSL and Necessary Software Countermeasures.	IMACC	2007	DBLP DOI BibTeX RDF	branch prediction attacks, cache eviction attacks, Binary Extended Euclidean Algorithm, software mitigation methods, OpenSSL, RSA, Side channel attacks, CRT, modular inversion
16	Naijun Zhan	Connecting Algebraic and Logical Descriptions of Concurrent Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
16	Stefan Göller, Markus Lohrey	Infinite State Model-Checking of Propositional Dynamic Logics.	CSL	2006	DBLP DOI BibTeX RDF
16	Ahmed Bouajjani, Antoine Meyer	Symbolic Reachability Analysis of Higher-Order Context-Free Processes.	FSTTCS	2004	DBLP DOI BibTeX RDF