Search results for "MSC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Hanêne Ben-Abdallah, Stefan Leue	MESA: Support for Scenario-Based Design of Concurrent Systems.	TACAS	1998	DBLP DOI BibTeX RDF
34	Stefan Leue, Lars Mehrmann, Mohammad Reza Mousavi 0001	Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications.	ASE	1998	DBLP DOI BibTeX RDF
34	Piotr Kosiuczenko	Time in Message Sequence Charts: A Formal Approach (Extended Abstract).	Euro-Par	1997	DBLP DOI BibTeX RDF
32	Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan	Causal Closure for MSC Languages.	FSTTCS	2005	DBLP DOI BibTeX RDF
32	Christian Rinderknecht	Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules.	SAM	2004	DBLP DOI BibTeX RDF	Abstract Syntax Notation One, Basic Encoding Rules, formal methods, protocol, specification, vulnerabilities, BER, ASN.1
32	Ferhat Khendek, Xiao-Jun Zhang	From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	Deepak D'Souza, Madhavan Mukund	Checking Consistency of SDL+MSC Specifications.	SPIN	2003	DBLP DOI BibTeX RDF
32	Vicente Luque Centeno, Peter T. Breuer, Luis Sánchez Fernández 0001, Carlos Delgado Kloos, Juan Antonio Herráiz Pérez	MSC-based Language for Specifying Automated Web Clients.	ISCC	2003	DBLP DOI BibTeX RDF
32	Ligang Wang 0002, J. William Atwood, Anjali Agarwal	Validation of SIP/H.323 Interworking Using SDL/MSC.	SDL Forum	2003	DBLP DOI BibTeX RDF
32	Ton J. Mouthaan, R. W. Brink, Henk Vos	Competencies of BSc and MSc Programmes in Electrical Engineering and Student Portfolios.	DELTA	2002	DBLP DOI BibTeX RDF
32	Daniel Amyot, Gunter Mussbacher	URN: Towards a New Standard for the Visual Description of Requirements.	SAM	2002	DBLP DOI BibTeX RDF
32	Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw	An MSC Based Representation of DiCons.	SDL Forum	2001	DBLP DOI BibTeX RDF
31	Sofia Giuffrè, Giovanna Idone	Global regularity for solutions to Dirichlet problem for discontinuous elliptic systems with nonlinearity q > 1 and with natural growth.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) MSC 35J65, MSC 35J55
28	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Complexity, MSC, Hierarchical specifications
28	Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson 0002, Bill Mitchell, Simon Burton 0001	Detecting and resolving semantic pathologies in UML sequence diagrams.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	communication semantics, requirements, MSC, UML 2.0
28	Jin Song Dong, Shengchao Qin, Jun Sun 0001	Generating MSCs from an Integrated Formal Specification Language.	IFM	2004	DBLP DOI BibTeX RDF	Requirement Engineering, MSC, TCOZ
28	Ira Acharya, Hemendra Kumar Singh	Testing of 3G 1xEV-DV Stack - A Case Study.	TestCom	2003	DBLP DOI BibTeX RDF	testing challenges, IUT, 1xEV-DV, EV-DV, DV, reference implementation, 3GPP2, LAC, RLP, L2, L3, packet data channel, PDCHCF, Message Integrity, simulation, Testing, MAC, queues, behavior, task, video conferencing, SDL, formalism, 3G, Signaling, logging, conformance, test automation, formal description techniques, MSC, timers, protocol stack, test scripts, TTCN
28	Gábor Kovács, Zoltán Pap, Dung Le Viet, Antal Wu-Hen-Chang, Gyula Csopaki	Applying Mutation Analysis to SDL Specifications.	SDL Forum	2003	DBLP DOI BibTeX RDF	Test Generation, Conformance Testing, SDL, Mutation Analysis, MSC, Test Selection
28	Ken Y. Chan, Gregor von Bochmann	Modeling IETF Session Initiation Protocol and Its Services in SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF	Telelogic, UML, SIP, Design Methodology, SDL, Software Specification, Use Case, MSC, Internet Telephony
28	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Negative scenarios for implied scenario elicitation.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	implied scenarios, negative scenarios, MSC
27	Gábor Kovács, Gábor Árpád Németh, Mahadevan Subramaniam, Zoltán Pap	Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications.	SDL Forum	2009	DBLP DOI BibTeX RDF	SDL based test selection, MSC test cases, string edit distance
27	Libor Polák	Syntactic Semiring and Universal Automaton.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF	syntactic semiring, universal automaton MSC 2000 Classification: 68Q45 Formal languages and automata
27	Arnold Beckmann	Resolution Refutations and Propositional Proofs with Height-Restrictions.	CSL	2002	DBLP DOI BibTeX RDF	Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus
27	Roger Van Keer, Marián Slodicka	Numerical Techniques for the Recovery of an Unknown Dirichlet Data Function in Semilinear Parabolic Problems with Nonstandard Boundary Conditions.	NAA	2000	DBLP DOI BibTeX RDF	nonlocal boundary condition, semilinear parabolic BVP 2000 MSC: 35K20, 35B30, 65N40, parameter identification
27	Peter Schuster	Elementary Choiceless Constructive Analysis.	CSL	2000	DBLP DOI BibTeX RDF	Countable Choice, Unique Existence, Intermediate Values, Connectedness 2000 MSC. Primary 03F60, Secondary 03E25, 26A15, 26E40, 54D05, 54E35, Constructive Mathematics, Approximate Analysis
23	Suliman Albasheir, Sofiène Tahar, Claude Gauthier, Jean Roussel Personna	Radio Access Network traffic generation for Mobile Switching Center.	ISCC	2009	DBLP DOI BibTeX RDF
23	Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra	Scratchpad allocation for concurrent embedded software.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	WCET, message sequence chart, scratchpad memory
23	Kamrul Hasan Talukder, Koichi Harada	Message Sequence Charts to Specify the Communicating Threads for Concurrent Discrete Wavelet Transform Based Image Compression and a Verification Analysis.	SNPD	2008	DBLP DOI BibTeX RDF	Verification Analysis, Concurrency, Wavelet Transform, Image Compression, Message Sequence Chart
23	Yan He 0001, Miaoliang Zhu, Chunying Zheng	An Efficient and Minimum Sensitivity Cost Negotiation Strategy in Automated Trust Negotiation.	CSSE (3)	2008	DBLP DOI BibTeX RDF
23	Liang Zhao, Fei-Yue Wang 0001	Design for self-organizing fuzzy neural networks using a novel hybrid learning algorithm.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
23	Jorge Aranda, Steve M. Easterbrook, Greg Wilson	Requirements in the wild: How small companies do it.	RE	2007	DBLP DOI BibTeX RDF
23	Leonid Kof	Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics.	RE	2007	DBLP DOI BibTeX RDF
23	Eleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe	Enforcing the optimal set of controls for state feedback with non-redundant controllers.	SMC	2007	DBLP DOI BibTeX RDF
23	Liang Zhao, Fei-Yue Wang 0001	The design of self-organizing fuzzy neural networks based on Ga-ecpso and MBP.	SMC	2007	DBLP DOI BibTeX RDF
23	Lech Madeyski	On the Effects of Pair Programming on Thoroughness and Fault-Finding Effectiveness of Unit Tests.	PROFES	2007	DBLP DOI BibTeX RDF
23	Lech Madeyski	Is External Code Quality Correlated with Programming Experience or Feelgood Factor?	XP	2006	DBLP DOI BibTeX RDF
23	Prakash Chandrasekaran, Madhavan Mukund	Matching Scenarios with Timing Constraints.	FORMATS	2006	DBLP DOI BibTeX RDF
23	George N. Karystinos, Dimitrios A. Pados	The maximum squared correlation, sum capacity, and total asymptotic efficiency of minimum total-squared-correlation binary signature sets.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
23	Awtar Koonar, Paul Delannoy, Dave Denault	Building a Road Weather Information Network for Integrating Data from Heterogeneous Sources.	ICITA (1)	2005	DBLP DOI BibTeX RDF
23	Blaise Genest, Anca Muscholl	Message Sequence Charts: A Survey.	ACSD	2005	DBLP DOI BibTeX RDF
23	Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün	Recovering the Lattice of Repetitive Sub-functions.	ISCIS	2005	DBLP DOI BibTeX RDF
23	Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert	Semantics of Message Sequence Charts.	SDL Forum	2005	DBLP DOI BibTeX RDF
23	Partha Sarathi Bhattacharjee, Debashis Saha, Amitava Mukherjee 0001	An approach for location area planning in a personal communication services network (PCSN).	IEEE Trans. Wirel. Commun.	2004	DBLP DOI BibTeX RDF
23	Ilker Demirkol, Cem Ersoy, Mehmet Ufuk Çaglayan, Hakan Deliç	Location area planning and cell-to-switch assignment in cellular networks.	IEEE Trans. Wirel. Commun.	2004	DBLP DOI BibTeX RDF
23	Shuhua Wang, Grace Tsai	Specification and Timing Analysis of Real-Time Systems.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	functional and timing requirements, real-time systems, specification, schedulability analysis, allocation
23	Subrata Nandi, Manish K. Raushan	An Efficient Cost Effective Location Management Scheme Based on Velocity Vector Information of Mobile Unit.	CIT	2004	DBLP DOI BibTeX RDF
23	Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled	Specifying and Verifying Partial Order Properties Using Template MSCs.	FoSSaCS	2004	DBLP DOI BibTeX RDF
23	Nicolas Baudru, Rémi Morin	The Pros and Cons of Netcharts.	CONCUR	2004	DBLP DOI BibTeX RDF
23	Benedikt Bollig, Martin Leucker	Message-Passing Automata Are Expressively Equivalent to EMSO Logic.	CONCUR	2004	DBLP DOI BibTeX RDF
23	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes.	ACSD	2003	DBLP DOI BibTeX RDF
23	Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim	The Winning Entry of the SAM 2002 Design Contest: .	SDL Forum	2003	DBLP DOI BibTeX RDF
23	Tong Zheng 0002, Ferhat Khendek, Benoit Parreaux	Refining Timed MSCs.	SDL Forum	2003	DBLP DOI BibTeX RDF
23	Abhik Roychoudhury	Depiction and Playout of Multi-threaded Program Executions.	ASE	2003	DBLP DOI BibTeX RDF
23	Ronnie Chu Ting Cheung	Innovative Teaching through the Cyber University.	ICWL	2002	DBLP DOI BibTeX RDF
23	P. Madhusudan, B. Meenakshi 0002	Beyond Message Sequence Graphs.	FSTTCS	2001	DBLP DOI BibTeX RDF
23	Radu Grosu, Ingolf Krüger, Thomas Stauner	Hybrid Sequence Charts.	ISORC	2000	DBLP DOI BibTeX RDF	sequence charts, formal methods, specification, requirements engineering, hybrid systems
23	Bart Michiels, Bart Wydaeghe	Component composition (poster).	ICSE	2000	DBLP DOI BibTeX RDF	components, composition, patterns, scenarios
23	Anca Muscholl, Doron A. Peled	Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces.	MFCS	1999	DBLP DOI BibTeX RDF	Message sequence graphs, Mazurkiewicz semi-traces, universality problem, automata theory
23	Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt 0002	Autolink: A Tool for Automatic Test Generation from SDL Specifications.	WIFT	1998	DBLP DOI BibTeX RDF
23	Anca Muscholl, Doron A. Peled, Zhendong Su 0001	Deciding Properties for Message Sequence Charts.	FoSSaCS	1998	DBLP DOI BibTeX RDF
23	Brian C. Lovell, Andrew P. Bradley	The Multiscale Classifier.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	Multiscale classification, inductive machine learning, tree pruning, decision trees
23	Michel Raynal, André Schiper	From Causal Consistency to Sequential Consistency in Shared Memory Systems.	FSTTCS	1995	DBLP DOI BibTeX RDF
20	Qing Zhao, Yan Wang 0068, Boyang Wang, Junxiong Lin, Shaoqi Yan, Wei Song 0007, Antonio Liotta, Jiawen Yu, Shuyong Gao, Wenqiang Zhang	MSC-AD: A Multiscene Unsupervised Anomaly Detection Dataset for Small Defect Detection of Casting Surface.	IEEE Trans. Ind. Informatics	2024	DBLP DOI BibTeX RDF
20	Mario Raciti, Giampaolo Bella	Behind the (Digital Crime) Scenes: An MSC Model.	CoRR	2024	DBLP DOI BibTeX RDF
20	Yongliang Bai, Hai Xue, Jiangtao Chen	Train Axlebox Bearing Fault Diagnosis Based on MSC-SGMD.	Sensors	2024	DBLP DOI BibTeX RDF
20	Vishal Kashav, Chandra Prakash Garg, Rupesh Kumar	Ranking the strategies to overcome the barriers of the maritime supply chain (MSC) of containerized freight under fuzzy environment.	Ann. Oper. Res.	2023	DBLP DOI BibTeX RDF
20	Guang-Ting Deng, Mario Garrido, Sau-Gee Chen, Shen-Jui Huang	Radix-2k MSC FFT Architectures.	IEEE Access	2023	DBLP DOI BibTeX RDF
20	Minseong Choi, Seunghoon Yang, Seungho Han, YeongSeok Lee, Minyoung Lee, Keun Ha Choi, Kyung-Soo Kim 0001	MSC-RAD4R: ROS-Based Automotive Dataset With 4D Radar.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
20	Younggeol Cho, YeongSeok Lee, Pyungkang Kim, Seokhwan Jeong, Kyung-Soo Kim 0001	The MSC Prosthetic Hand: Rapid, Powerful, and Intuitive.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
20	Joan P. Company-Corcoles, Emilio Garcia-Fidalgo, Alberto Ortiz 0001	MSC-VO: Exploiting Manhattan and Structural Constraints for Visual Odometry.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
20	M. A. Alsalem 0001, Osamah Shihab Albahri, A. A. Zaidan 0001, Jameel R. Al-Obaidi, Alhamzah Alnoor, Abdullah Hussein Alamoodi, Ahmed Shihab Albahri, B. B. Zaidan, F. M. Jumaah 0001	Rescuing emergency cases of COVID-19 patients: An intelligent real-time MSC transfusion framework based on multicriteria decision-making methods.	Appl. Intell.	2022	DBLP DOI BibTeX RDF
20	Christoph Weisser	Natural language processing and machine learning applications in the social sciences / submitted by Christoph Johannes Weißer, MSc (Oxon).		2022	RDF
20	Golla Swamy Yadav, P. Anuradha	Strain investigation of infill frames using FEA package MSC NASTRAN.	Adv. Eng. Softw.	2021	DBLP DOI BibTeX RDF
20	Anand Gupta, Manpreet Kaur, Sonaali Mittal, Swati Garg	PE-MSC: partial entailment-based minimum set cover for text summarization.	Knowl. Inf. Syst.	2021	DBLP DOI BibTeX RDF
20	Joan P. Company-Corcoles, Emilio Garcia-Fidalgo, Alberto Ortiz 0001	MSC-VO: Exploiting Manhattan and Structural Constraints for Visual Odometry.	CoRR	2021	DBLP BibTeX RDF
20	Kohulan Rajan, Jan-Mathis Hein, Christoph Steinbeck, Achim Zielesny	Molecule Set Comparator (MSC): a CDK-based open rich-client tool for molecule set similarity evaluations.	J. Cheminformatics	2021	DBLP DOI BibTeX RDF
20	Guo-Yang Chen, Xiao-Jun Wu 0001, Hui Li 0037, Tianyang Xu	MSC-Fuse: An Unsupervised Multi-scale Convolutional Fusion Framework for Infrared and Visible Image.	ICIG (1)	2021	DBLP DOI BibTeX RDF
20	Zhengwen Hu, Baoqiang Zhang, Jing Yang	A Two-Phase Monte Carlo Simulation/Non-Intrusive Polynomial Chaos (MSC/NIPC) Method for Quantification of Margins and Mixed Uncertainties (QMMU) in Flutter Analysis.	IEEE Access	2020	DBLP DOI BibTeX RDF
20	Antonio García-Cabot, Eva García-Lopez, Sergio Caro-Álvaro, Jose-Maria Gutierrez-Martinez, Luis de Marcos	Measuring the effects on learning performance and engagement with a gamified social platform in an MSc program.	Comput. Appl. Eng. Educ.	2020	DBLP DOI BibTeX RDF
20	Fábio Bif Goularte, Danielly Sorato, Silvia Modesto Nassar, Renato Fileto, Horacio Saggion	MSC+: Language pattern learning for word sense induction and disambiguation.	Knowl. Based Syst.	2020	DBLP DOI BibTeX RDF
20	Dmitry G. Korzun, Olga I. Bogoiavlenskaia	Internet of Things Education for MSc Study in Applied Mathematics and Computer Science.	FRUCT	2020	DBLP DOI BibTeX RDF
20	Jakub Rada, Tomás Musil, Vít Fábera	Exploration of MSC Trees Using Genetic Algorithms.	SOFSEM (Doctoral Student Research Forum)	2020	DBLP BibTeX RDF
20	Kristina Murtazin, Oleg Shvets, Gunnar Piho	Curriculum for Business Information Technology Studies at BSc and MSc Levels - Observations from a Long-term Educational Endeavour.	EDUCON	2020	DBLP DOI BibTeX RDF
20	Mohammed Ridha Nsaif, Ali S. A. Al-Haboobi, Furkan Rabee, Farah A. Alasadi	Reliable Compression Route Protocol for Mobile Crowd Sensing (RCR-MSC).	J. Commun.	2019	DBLP DOI BibTeX RDF
20	Xin Liu 0010, Federico Gasco, Wenbin Yu 0004, Johnathan Goodsell, Khizar Rouf	Multiscale analysis of woven composite structures in MSC.Nastran.	Adv. Eng. Softw.	2019	DBLP DOI BibTeX RDF
20	Subrata Saha, Jethro Johnson, Soumitra Pal 0001, George M. Weinstock, Sanguthevar Rajasekaran	MSC: a metagenomic sequence classification algorithm.	Bioinform.	2019	DBLP DOI BibTeX RDF
20	Sheng-Po Chiu, Yu-Wei Lee, Ling-Yi Wu, Tse-Hua Tung, Sofia Gomez, Chun-Min Lo, Jia-Yi Wang 0007	Application of ECIS to Assess FCCP-Induced Changes of MSC Micromotion and Wound Healing Migration.	Sensors	2019	DBLP DOI BibTeX RDF
20	Alexandr Shimanovsky, Pavel Sakharau	Investigation of the Longitudinal Track Profile Influence on the Forces Acting in the Train Inter-Car Connections Using the MSC.ADAMS Software.	CMIS	2019	DBLP BibTeX RDF
20	Adeboye Stephen Oyeniran, Raimund Ubar, Maksim Jenihhin, Jaan Raik	Implementation-Independent Functional Test Generation for MSC Microprocessors.	VLSI-SoC	2019	DBLP DOI BibTeX RDF
20	Yang Yang 0017, Wenjin Wang 0001, Xiqi Gao 0001	Distributed RZF Precoding for Multiple-Beam MSC Downlink.	IEEE Trans. Aerosp. Electron. Syst.	2018	DBLP DOI BibTeX RDF
20	S. Roopa, S. V. Narasimhan	Magnitude Square Coherence (MSC) Estimation via an ARMA Model Based on Analytic DCT and Group Delay.	Circuits Syst. Signal Process.	2018	DBLP DOI BibTeX RDF
20	Amichai Painsky	MSc Dissertation: Exclusive Row Biclustering for Gene Expression Using a Combinatorial Auction Approach.	CoRR	2018	DBLP BibTeX RDF
20	Kevin Keller, Jennifer Brings, Marian Daun, Thorsten Weyer	A Comparative Analysis of ITU-MSC-Based Requirements Specification Approaches Used in the Automotive Industry.	SAM	2018	DBLP DOI BibTeX RDF
20	Nick Lambert, Brigitta Zics	Ravensbourne University London: MA and MSc Courses.	EVA	2018	DBLP DOI BibTeX RDF
20	Krzysztof Pikon, Magdalena Bogacka, Monika Czop	Blended learning and pedagogical evolution toolbox - examples from clean fossil and alternative fuels energy - innoenergy MSc program.	EDUCON	2018	DBLP DOI BibTeX RDF
20	Cesar Valderrama, Peter Hagstrom, Thomas Nordgreen	Shared curriculum at KTH and UPC universities: Blended learning experience at the MSc SELECT programme.	EDUCON	2018	DBLP DOI BibTeX RDF
20	Joseph F. Grcar	Research trends in MSC 65 numerical analysis.	Commun. Stat. Simul. Comput.	2017	DBLP DOI BibTeX RDF
20	Huikai Wu, Junge Zhang, Kaiqi Huang	MSC: A Dataset for Macro-Management in StarCraft II.	CoRR	2017	DBLP BibTeX RDF
20	Hui Zhao 0003, Qinghua Zheng, Weizhan Zhang, Haifei Li 0001	MSC: a multi-version shared caching for multi-bitrate VoD services.	Multim. Tools Appl.	2016	DBLP DOI BibTeX RDF
20	Yang Yang 0017, Xiqi Gao 0001, Xiang-Gen Xia 0001	A Closed-Form Capacity Upper Bound of Multibeam GEO MSC Uplink Channel.	IEEE Wirel. Commun. Lett.	2016	DBLP DOI BibTeX RDF