Search results for "MSC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
179	Peter Graubmann	MSC Connectors - The Chamber of Secrets.	SDL Forum	2003	DBLP DOI BibTeX RDF	Interface Protocol, Message Sequence Chart (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering Abbreviations: BMSC: Basic Message Sequence Chart, MSC: Message Se-quence Chart, LPO: Labeled Partial Ordering, TTCN-3: Test and Test Control Notation Version-3, Component, Interface, Compositionality
162	Peter Graubmann, Ekkart Rudolph	MSC Connectors: The Philosopher's Stone.	SAM	2002	DBLP DOI BibTeX RDF	Message Sequence Charts (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering, Interface Protocol, Component, Interface, Compositionality
124	Jens Grabowski, Peter Graubmann, Ekkart Rudolph	HyperMSCs with Connectors for Advanced Visual System Modelling and Testing.	SDL Forum	2001	DBLP DOI BibTeX RDF
111	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Realizability and Verification of MSC Graphs.	ICALP	2001	DBLP DOI BibTeX RDF
99	Mesfin Belachew, R. K. Shyamasundar	MSC+: From Requirement to Prototyped Systems.	ECRTS	2001	DBLP DOI BibTeX RDF	hMSCs, Requirement Specification, Preemption, MSCs
97	Tong Zheng 0002, Ferhat Khendek	An Extension for MSC-2000 and Its Application.	SAM	2002	DBLP DOI BibTeX RDF
90	Sebastián Blaustein, Fernando Oliveto, Víctor A. Braberman	Observing timed systems by means of message sequence chart graphs.	ICSE	2002	DBLP DOI BibTeX RDF
90	Peter Graubmann, Ekkart Rudolph, Jens Grabowski	Component Interface Description Using HyperMSCs and Connectors.	HCC	2001	DBLP DOI BibTeX RDF
90	Rajeev Alur, Mihalis Yannakakis	Model Checking of Message Sequence Charts.	CONCUR	1999	DBLP DOI BibTeX RDF
79	Edith Elkind, Blaise Genest, Doron A. Peled	Detecting Races in Ensembles of Message Sequence Charts.	TACAS	2007	DBLP DOI BibTeX RDF
79	S. Akshay 0001, Madhavan Mukund, K. Narayan Kumar	Checking Coverage for Infinite Collections of Timed Scenarios.	CONCUR	2007	DBLP DOI BibTeX RDF
79	Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen	T911IMED TTCN-3 Based Graphical Real-Time Test Specification.	TestCom	2003	DBLP DOI BibTeX RDF
77	Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan	On Message Sequence Graphs and Finitely Generated Regular MSC Languages.	ICALP	2000	DBLP DOI BibTeX RDF
75	Øystein Haugen	Comparing UML 2.0 Interactions and MSC-2000.	SAM	2004	DBLP DOI BibTeX RDF
75	Ina Schieferdecker, Jens Grabowski	The Graphical Format of TTCN-3 in the Context of MSC and UML.	SAM	2002	DBLP DOI BibTeX RDF
70	Yunshan Ge	Using Design Pattern to Develop the Quality MSC Simulator Software in Performance Test for GSM and GPRS system.	QSIC	2003	DBLP DOI BibTeX RDF	MSC simulator software, Performance Test GSM, Design Pattern, GPRS
69	Cédric Besse, Ana R. Cavalli, Ferhat Khendek	Partial Validation of a Design Specification with Respect to Requirements.	APAQS	2001	DBLP DOI BibTeX RDF	MSC views, MSC traces, Specification, Validation, Requirement, SDL, MSC
68	T. Ozugur	Hierarchical provisioning for cellular networks.	IEEE Trans. Wirel. Commun.	2005	DBLP DOI BibTeX RDF
68	Olaf Kluge	Modelling a Railway Crossing with Message Sequence Charts and Petri Nets.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
66	Xian Shen, Xin Jin, Rongfang Bie, Yunchuan Sun	MSC: A Semantic Ranking for Hitting Results of Matchmaking of Services.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
66	Stephan Bourduas, Ferhat Khendek, Daniel Vincent	From MSC and UML to SDL.	COMPSAC	2002	DBLP DOI BibTeX RDF
66	Gwang Sik Yoon, Yong Rae Kwon	Extending MSC for Reactive Systems.	HCC	2001	DBLP DOI BibTeX RDF
66	Øystein Haugen	From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams.	SDL Forum	2001	DBLP DOI BibTeX RDF
66	Bengt Jonsson 0001, Gerardo Padilla	An Execution Semantics for MSC-2000.	SDL Forum	2001	DBLP DOI BibTeX RDF
56	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
56	Yun Zhang, Min-You Wu, Wei Shu	Adaptive channel allocation for large-scale streaming content delivery systems.	Multim. Tools Appl.	2007	DBLP DOI BibTeX RDF	Pure-rate-control, Multiple-service-class, Modified-multi-service-class, Adaptive algorithm
56	Sung Hoon Baek, Kyu Ho Park	Matrix-Stripe-Cache-Based Contiguity Transform for Fragmented Writes in RAID-5.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Storage management, parallel I/O, RAID
56	Blaise Genest	Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs.	TACAS	2005	DBLP DOI BibTeX RDF
56	Franz Baader	A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL.	WG	2004	DBLP DOI BibTeX RDF
56	Wolf-Tilo Balke, Klara Nahrstedt (eds.)	Proceedings of the First ACM International Workshop on Multimedia Service Composition, MSC '05, Hilton, Singapore, November 11, 2005	MSC	2005	DBLP DOI BibTeX RDF
55	Christopher J. Pavlovski, Quentin Staes-Polet	Digital media and entertainment service delivery platform.	MSC@MM	2005	DBLP DOI BibTeX RDF
55	Stephen Herborn, Yoann Lopez, Aruna Seneviratne	A distributed scheme for autonomous service composition.	MSC@MM	2005	DBLP DOI BibTeX RDF
55	Shuichi Yamaoka, Tao Sun, Morihiko Tamai, Keiichi Yasumoto, Naoki Shibata, Minoru Ito	Resource-aware service composition for video multicast to heterogeneous mobile users.	MSC@MM	2005	DBLP DOI BibTeX RDF
55	Klara Nahrstedt, Wolf-Tilo Balke	Towards building large scale multimedia systems and applications: challenges and status.	MSC@MM	2005	DBLP DOI BibTeX RDF
55	Swaroop Kalasapur, Mohan Kumar, Behrooz A. Shirazi	Seamless service composition (SeSCo) in pervasive environments.	MSC@MM	2005	DBLP DOI BibTeX RDF
55	Roger Zimmermann	Building large-scale multimedia systems: should we use more SOAP to clean up our act?	MSC@MM	2005	DBLP DOI BibTeX RDF
55	Karin Anna Hummel, Wolfgang Jochum, Stefan Leitich, Bernhard Schandl	Supporting meetings with a goal-driven service-oriented multimedia environment.	MSC@MM	2005	DBLP DOI BibTeX RDF
55	Stefan Götz 0001, Klaus Wehrle	Transparent end-host-based service composition through network virtualization.	MSC@MM	2005	DBLP DOI BibTeX RDF
50	Matthias Beyer, Winfried Dulz	Scenario-Based Statistical Testing of Quality of Service Requirements.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF	Markov Chain Usage Model, QoS, Software Testing, Automatic Test Generation, TTCN-3, MSC, UML Sequence Diagram
50	Peter Graubmann, Ekkart Rudolph	HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing.	UML	2000	DBLP DOI BibTeX RDF	distributed systems, software engineering, real time systems, UML, testing, telecommunication, Sequence Diagrams, Use Cases, MSC, OO
47	MSc Eng Anna Nowacka	Digital transformation in creating employee learning environments.	KES	2023	DBLP DOI BibTeX RDF
47	Nasser N. Khmiss, Msc Huthaifa T. Akrm	A New Approach of Digital Subscriber Line2 Initialization Process.	Int. J. Adv. Comp. Techn.	2010	DBLP BibTeX RDF
45	Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry 0001	Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
45	Andreas Jakobsson, Stephen R. Alty, Jacob Benesty	Estimating and Time-Updating the 2-D Coherence Spectrum.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
45	Abhik Roychoudhury, Ankit Goel, Bikram Sengupta	Symbolic message sequence charts.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	unified modeling language (UML), message sequence charts
45	Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari	Strong Safe Realizability of Message Sequence Chart Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	Strong safe realizability, stuck states, emergent scenarios
45	Qi-Jin Ji, Yong-Qiang Dong	Design and Analysis of a Multiscale Active Queue Management Scheme.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	multiscale traffic burstiness, active queue management, stability analysis, fluid-flow model
45	Hironori Yoshimura, Yoshio Iwai, Masahiko Yachida	Object Detection with Adaptive Background Model and Margined Sign Cross Correlation.	ICPR (3)	2006	DBLP DOI BibTeX RDF
45	Subrata Nandi, Sanjib Sadhu	A Predictive Location Management Scheme by Extracting the Unique Sub-patterns from the Mobility Logs.	ICDCN	2006	DBLP DOI BibTeX RDF	Predictive location management, mobility logs, sub-pattern
45	Chengyong Yang, Erliang Zeng, Tao Li 0001, Giri Narasimhan	Clustering Genes Using Gene Expression and Text Literature Data.	CSB	2005	DBLP DOI BibTeX RDF	Biological Literature, Multi-Source Clustering, Text Mining, Gene Expression Data
45	Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng	Consistency Checking of Concurrent Models for Scenario-Based Specifications.	SDL Forum	2005	DBLP DOI BibTeX RDF
45	Elsa L. Gunter, Anca Muscholl, Doron A. Peled	Compositional message sequence charts.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Finite-state communication protocols, Message sequence charts, Partial-order methods
45	Shengbing Ren, Kexing Rui, Gregory Butler	Refactoring the Scenario Specification: A Message Sequence Chart Approach.	OOIS	2003	DBLP DOI BibTeX RDF
45	Danuta Rutkowska	Multi-expert Systems.	PPAM	2003	DBLP DOI BibTeX RDF
45	Ralf Küsters, Ralf Molitor	Approximating Most Specific Concepts in Description Logics with Existential Restrictions.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
45	Masato Kawada, Hiroyuki Morikawa, Tomonori Aoyama	Cooperative Inter-Stream Rate Control Scheme for Layered Multicast.	SAINT	2001	DBLP DOI BibTeX RDF
43	Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich	Implementing MSC Tests with Quiescence Observation.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	sound tests, test implementations, fault detection power, Message Sequence Charts, Distributed testing
43	Lei Ju 0001, Abhik Roychoudhury, Samarjit Chakraborty	Schedulability Analysis of MSC-based System Models.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Message Sequence Charts / Graphs, Schedulability analysis
43	Liang Zhao, Fei-Yue Wang 0001	Design for recurrent fuzzy neural networks using MSC-MFS and PSO-MBP.	SMC	2007	DBLP DOI BibTeX RDF
43	Arjan J. Mooij, Judi Romijn, Wieger Wesselink	Realizability Criteria for Compositional MSC.	AMAST	2006	DBLP DOI BibTeX RDF
43	Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz	MSCan - A Tool for Analyzing MSC Specifications.	TACAS	2006	DBLP DOI BibTeX RDF
43	Benedikt Bollig, Martin Leucker	A Hierarchy of Implementable MSC Languages.	FORTE	2005	DBLP DOI BibTeX RDF
43	Arjan J. Mooij, Nicolae Goga, Judi Romijn	Non-local Choice and Beyond: Intricacies of MSC Choice Nodes.	FASE	2005	DBLP DOI BibTeX RDF
43	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
43	Benedikt Bollig, Martin Leucker, Thomas Noll 0001	Generalised Regular MSC Languages.	FoSSaCS	2002	DBLP DOI BibTeX RDF
43	Markus Lohrey, Anca Muscholl	Bounded MSC Communication.	FoSSaCS	2002	DBLP DOI BibTeX RDF
43	Frank Rößler, Birgit Geppert, Reinhard Gotzhein	CoSDL: An Experimental Language for Collaboration Specification.	SAM	2002	DBLP DOI BibTeX RDF
43	Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell	Automatic Generation of Conformance Tests from Message Sequence Charts.	SAM	2002	DBLP DOI BibTeX RDF
43	Lennard Kerber	Scenario-Based Performance Evaluation of SDL/MSC-Specified Systems.	Performance Engineering	2001	DBLP DOI BibTeX RDF
43	Dieter Hogrefe, Beat Koch, Helmut Neukirchen	Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation.	SDL Forum	2001	DBLP DOI BibTeX RDF
41	Saswati Pal, Sudip Misra, Nabiul Islam	m-MSC: Molecular Communication-Based Analysis for Controlled MSC Treatment of Cytokine Storm.	IEEE Trans. Mol. Biol. Multi Scale Commun.	2023	DBLP DOI BibTeX RDF
41	Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao-Jun Zhang, Tong Zheng 0002	Early Validation of Deployment and Scheduling Constraints for MSC Specifications.	SAM	2004	DBLP DOI BibTeX RDF
41	Peter Graubmann	Describing interactions between MSC components: the MSC connectors.	Comput. Networks	2003	DBLP DOI BibTeX RDF
41	Konstantin Rubinstein, Dmitry Kiktev	Comparison of the atmospheric lower-layer diagnostic system (SDA) for pollution transfer modelling at MSC-East (Moscow) and MSC-West (Oslo).	Environ. Model. Softw.	2000	DBLP DOI BibTeX RDF
41	Ketil Stølen, P. Mohn	Experience from Using MSC, UML and SDL in the Development of the FAME Communication Manager.	SAM	2000	DBLP BibTeX RDF
41	Nikolai Mansurov, Dmitri Vasura	Approximation of (H)MSC Semantics By Automata.	SAM	2000	DBLP BibTeX RDF
41	Stefan Heymer	A Semantics for MSC Based on Petri Net Components.	SAM	2000	DBLP BibTeX RDF
41	Rick Reed	SDL and MSC in international organizations: ITU-T.	SDL Forum	1997	DBLP BibTeX RDF
41	Astrid Nyeng, Svanhild Gundersen	MSCs at Siemens A/S - towards the usage of MSC-96.	SDL Forum	1997	DBLP BibTeX RDF
41	Stefan Loidl, Ekkart Rudolph, Ursula Hinkel	MSC'96 and beyond - a critical look.	SDL Forum	1997	DBLP BibTeX RDF
41	Øystein Haugen	The MSC-96 distillery.	SDL Forum	1997	DBLP BibTeX RDF
41	Shugo Shiba, Yoshiaki Shigeta, Wataru Tanaka	Switching software test environment using MSC.	SDL Forum	1997	DBLP BibTeX RDF
39	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Incremental elaboration of scenario-based specifications and behavior models using implied scenarios.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	implied scenarios, negative scenarios, MSC, LTSA
37	Aabhas V. Paliwal, Nabil R. Adam, Christof Bornhövd	Web service orchestration and verification using MSC and CP nets.	SAC	2007	DBLP DOI BibTeX RDF	CP nets, web services, verification, composition, orchestration, MSC
37	Peter Schefczik, Andreas Mitschele-Thiel, Michael Söllner	On MSC-based performance simulation.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	signaling performance, wireless communication, use case, network architecture, MSC, wireless access networks
34	Mordechai Shalom	Shmuel Zaks - The Mathematician, Computer Scientist and Personality.	DISC	2009	DBLP DOI BibTeX RDF
34	Radim Rehurek, Petr Sojka	Automated Classification and Categorization of Mathematical Knowledge.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
34	Alejandro Ribeiro, Renqiu Wang, Georgios B. Giannakis	Multi-source cooperation with full-diversity spectral-efficiency and controllable-complexity.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
34	Seungho Han, Jaikyung Lee, Taehee Lee 0004, Kwangsub Jang, Taewoo Kwon	Application of an Integrated Design System based on a FE Modeling Support System to assess Fatigue Durability of Automobile Suspension Modules.	CSCWD	2007	DBLP DOI BibTeX RDF
34	Sanqing Hu, Matt Stead, Andrew B. Gardner, Gregory A. Worrell	The Effect of Recording Reference on EEG: Phase Synchrony and Coherence.	ISNN (2)	2007	DBLP DOI BibTeX RDF
34	Jian Yin 0001, Zhilan Huang, Yubao Liu, Jiarong Cai, Jian Chen 0011	An Effective Maximal Subspace Clustering Algorithm Based on Enumeration Tree.	FSKD (1)	2007	DBLP DOI BibTeX RDF
34	Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün	Recovering Repetitive Sub-functions from Observations.	FORTE	2007	DBLP DOI BibTeX RDF
34	Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng	Scenario-Based Timing Consistency Checking for Time Petri Nets.	FORTE	2006	DBLP DOI BibTeX RDF
34	Chengyong Yang, Erliang Zeng, Tao Li 0001, Giri Narasimhan	A Knowledge-Driven Method to Evaluate Multi-source Clustering.	ISPA Workshops	2005	DBLP DOI BibTeX RDF
34	Sai Sun, Xiaofang Zhou 0001, Heng Tao Shen	Semantic Caching for Multiresolution Spatial Query Processing in Mobile Environments.	SSTD	2005	DBLP DOI BibTeX RDF
34	Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary	Symbolic Execution of Behavioral Requirements.	PADL	2004	DBLP DOI BibTeX RDF
34	Hiroshi Nagamochi, Taizo Kawada	Approximating the Minmax Subtree Cover Problem in a Cactus.	ISAAC	2004	DBLP DOI BibTeX RDF
34	Elsa L. Gunter, Anca Muscholl, Doron A. Peled	Compositional Message Sequence Charts.	TACAS	2001	DBLP DOI BibTeX RDF
34	Yungoo Huh, Cheeha Kim	New Caching-Based Location Management Scheme in Personal Communication Systems.	ICOIN	2001	DBLP DOI BibTeX RDF
34	Doron A. Peled	A Toolset for Message Sequence Charts.	CAV	1998	DBLP DOI BibTeX RDF