Search results for "MSC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Fred W. Glover, César Rego	Ejection chain and filter-and-fan methods in combinatorial optimization.	4OR	2006	DBLP DOI BibTeX RDF	MSC classification 90C59, 90C27, 90C06
15	K. A. Ariyawansa, Yuntao Zhu	Stochastic semidefinite programming: a new paradigm for stochastic optimization.	4OR	2006	DBLP DOI BibTeX RDF	MSC Classification 90C15, 90C51, 90C05
15	Linda S. Moonen	Algorithms for some graph theoretical optimization problems.	4OR	2006	DBLP DOI BibTeX RDF	MSC classification 05C85
15	Antonino Giorgio Spera	Asymptotically Good Codes from Generalized Algebraic-Geometry Codes.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	MSC (2000): Primary 94B27, Secondary 14H45
15	E. J. Cheon, Takao Kato, S. Kim	On the Minimum Length of some Linear Codes of Dimension 5.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	MSC 2000 94B65, 05B25, 51E20, 94B05
15	Steven Chamberland, Samuel Pierre	On the Design Problem of Cellular Wireless Networks.	Wirel. Networks	2005	DBLP DOI BibTeX RDF	BSC and MSC location, tabu search, cellular networks, capacity planning, topological design
15	Latha A. Kant	Design and Performance Modeling and Simulation of Self-Healing Mechanisms for Wireless Communication Networks.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF	Fault Management (FM), Network Management System (NMS), Global System for Mobile Communications (GSM), Mobile Switching Center (MSC), Serving GPRS Support Node (SGSN), Self-healing, General Packet Radio Services (GPRS)
15	Markus Neher 0001	The Mean Value Form for Complex Analytic Functions.	Computing	2001	DBLP DOI BibTeX RDF	MSC Subject Classifications: 65G20, 30-04, 65G30
15	Whe Dar Lin, Jinn-ke Jan	A Wireless-based Authentication and Anonymous Channels for Large Scale Area.	ISCC	2001	DBLP DOI BibTeX RDF	Mobile stations (MSs), anonymous channel, home network (HN), visit network (VN) mobile network switching center (MSC)
15	Hajo Broersma, Elias Dahlhaus, Ton Kloks	Algorithms for the Treewidth and Minimum Fill-in of HHD-Free Graphs.	WG	1997	DBLP DOI BibTeX RDF	MSC 68R10
15	Björn Regnell, Michael Andersson, Johan Bergstrand	A Hierarchical Use Case Model with Graphical Representation.	ECBS	1996	DBLP DOI BibTeX RDF	Message Sequence Chart (MSC), software engineering, requirements engineering, scenarios, use cases, graphical representation, graphical languages
15	Bettina Just	Integer Relations Among Algebraic Numbers.	MFCS	1989	DBLP DOI BibTeX RDF	MSC 68Q25, 12F10, 68Q40
11	Okan Topçu, Mehmet Adak, Halit Oguztüzün	Metamodeling live sequence charts for code generation.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Code generation, Metamodeling, Message sequence charts, Live sequence charts
11	Hua-Fu Li	Pattern discovery and change detection of online music query streams.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Music query streams, Melody structure mining, Change detection, Multimedia data mining
11	Farah Alsudani, Matthew Casey	The effect of aesthetics on web credibility.	BCS HCI	2009	DBLP BibTeX RDF	aesthetics, credibility, unity, Gestalt theory
11	Tim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik	Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation.	SPIN	2009	DBLP DOI BibTeX RDF
11	Weiqi Wang, Yanbo J. Wang, René Bañares-Alcántara, Zhanfeng Cui, Frans Coenen	Application of Classification Association Rule Mining for Mammalian Mesenchymal Stem Cell Differentiation.	ICDM	2009	DBLP DOI BibTeX RDF	Classification Association Rule Mining, Mesenchymal Stem Cells, Data Mining, Differentiation, Tissue Engineering
11	Marcel Worring	Searching and Finding in Large Video Collections.	MMM	2009	DBLP DOI BibTeX RDF
11	Anas Showk, David Szczesny, Shadi Traboulsi, Irv Badr, Maria Elizabeth Gonzalez, Attila Bilgic	Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique.	SDL Forum	2009	DBLP DOI BibTeX RDF	formal verification, formal modeling, automatic code generation, Service-Oriented applications, formal validation
11	Issam Jabri, Nicolas Krommenacker, Thierry Divoux, Adel Soudani	IEEE 802.11 Load Balancing: An Approach for QoS Enhancement.	Int. J. Wirel. Inf. Networks	2008	DBLP DOI BibTeX RDF	Quality of service, Load balancing, OPNET, Protocol specification, IEEE802.11
11	David Harel, Shahar Maoz	Assert and negate revisited: Modal semantics for UML sequence diagrams.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts
11	Jiexin Lian, Zhaoxia Hu, Sol M. Shatz	Simulation-based analysis of UML statechart diagrams: methods and case studies.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Formal methods, Petri nets, UML statecharts, Design analysis
11	Liana Silva, Célio A. Santana, Fernando Rocha, Maíra Paschoalino, Gabriel Falconieri, Lúcio Ribeiro, Renata Medeiros de Carvalho, Sérgio Soares, Cristine Gusmão	Applying XP to an Agile-Inexperienced Software Development Team.	XP	2008	DBLP DOI BibTeX RDF	XP-Inexperienced, Adaptation, Teaching, Agile Methods
11	David Ramírez 0001, Javier Vía, Ignacio Santamaría	A generalization of the magnitude squared coherence spectrum for more than two signals: definition, properties and estimation.	ICASSP	2008	DBLP DOI BibTeX RDF
11	Daniel Yankelevich	Abstraction for a Career in Industry: A Praise for Ugo's 65 Years.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
11	Ian McLoughlin 0001	Secure Embedded Systems: The Threat of Reverse Engineering.	ICPADS	2008	DBLP DOI BibTeX RDF
11	Fredrik Sikström, Mikael Ericsson, Anna-Karin Christiansson, K. Niklasson	Tools for Simulation Based Fixture Design to Reduce Deformation in Advanced Fusion Welding.	ICIRA (2)	2008	DBLP DOI BibTeX RDF
11	Abdolmajid Mousavi, Behrouz H. Far	Revisiting Safe Realizability of Message Sequence Charts Specifications.	ICECCS	2008	DBLP DOI BibTeX RDF
11	Dan Xia, Weishan Chen, Junkao Liu, Luhui Han	Simulation Study on the Body Side-Sway Characteristic for Rigid Robot Fish.	RAM	2008	DBLP DOI BibTeX RDF
11	Mario Piattini, Félix García 0001	Adapting the course "quality of information systems" to E.H.E.A guidelines.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	European higher education area (EHEA), quality of information systems, software engineering
11	Amirrudin Kamsin	Integrated 3D Multimedia Web Based Application in Biology: A Prototype.	CGIV	2007	DBLP DOI BibTeX RDF
11	Erliang Zeng, Chengyong Yang, Tao Li 0001, Giri Narasimhan	On the Effectiveness of Constraints Sets in Clustering Genes.	BIBE	2007	DBLP DOI BibTeX RDF
11	Christian F. J. Lange, Michel R. V. Chaudron	Interactive Views to Improve the Comprehension of UML Models - An Experimental Validation.	ICPC	2007	DBLP DOI BibTeX RDF
11	Shangbin Run, Baoling Han, Qingsheng Luo, Xiaochuan Zhao	The Research and Simulation on the Walking Trajectory of the Hexapod Walking Bio-robot.	ICFIE	2007	DBLP DOI BibTeX RDF	hexapod walking Bio-robot, gait planning, kinematics simulation, virtual prototype, ADAMS
11	Andre Oboler, Ian Sommerville	Research Documentation Guidelines - Capturing knowledge, improving research.	ITNG	2007	DBLP DOI BibTeX RDF
11	Chao-Lieh Chen	Morphisms from IEEE 802.11 DCF specifications to its EDCA QoS practice with cross-layer interface.	ICPADS	2007	DBLP DOI BibTeX RDF
11	Maniam Kaliannan, Halimah Awang, Murali Raman	Technology adoption in the public sector: an exploratory study of e-government in Malaysia.	ICEGOV	2007	DBLP DOI BibTeX RDF	adoption issues, multimedia super corridor, e-government, e-procurement
11	Xinguo Deng, Ziyu Lin, Weiqing Chen, Ruliang Xiao, Lina Fang, Ling Li	Modeling Web Service Choreography and Orchestration with Colored Petri Nets.	SNPD (2)	2007	DBLP DOI BibTeX RDF
11	Wei Xu, Xingming Li	A Shared-Path-Protection Based Heuristic Algorithm for the Capacity Placement Problem in Mesh Networks.	SNPD (1)	2007	DBLP DOI BibTeX RDF
11	Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker	Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning.	TACAS	2007	DBLP DOI BibTeX RDF
11	Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar	Specification of Timed EFSM Fault Models in SDL.	FORTE	2007	DBLP DOI BibTeX RDF	Timing Fault Models, Hit-or-Jump, SDL, Extended Finite State Machines
11	Peter Schuster 0001	Problems as Solutions.	CiE	2007	DBLP DOI BibTeX RDF	uniform continuity, unique existence, countable choice, completeness, Metric spaces, constructive mathematics
11	Satish Yada, Bharadwaj S. Amrutur, Rubin A. Parekhji	Modified Stability Checking for On-line Error Detection.	VLSI Design	2007	DBLP DOI BibTeX RDF	crosstalk faults and transient faults, SEU testing, modified stability checking, delay faults, self-checking circuits, Concurrent testing, on-line error detection
11	Nicolas Baudru, Rémi Morin	Synthesis of Safe Message-Passing Systems.	FSTTCS	2007	DBLP DOI BibTeX RDF
11	Katherine Moriwaki, Jonah Brucker-Cohen	Lessons from the scrapyard: creative uses of found materials within a workshop setting.	AI Soc.	2006	DBLP DOI BibTeX RDF	DIY computing, Musical controllers, Artistic applications, Education, Wearables, Fashion, Sustainable design
11	Natalia Juristo Juzgado	Educational Objectives for Empirical Methods.	Empirical Software Engineering Issues	2006	DBLP DOI BibTeX RDF	Education, Experimentation, Empirical Software Engineering
11	Nicolas Baudru, Rémi Morin	The Synthesis Problem of Netcharts.	ICATPN	2006	DBLP DOI BibTeX RDF
11	Robin G. Scott, Robert C. Richardson	A Novel USAR Digging Mechanism.	IROS	2006	DBLP DOI BibTeX RDF
11	Werner Damm, Tobe Toben, Bernd Westphal	On the Expressive Power of Live Sequence Charts.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
11	Dalia Krieger	On Critical Exponents in Fixed Points of Non-erasing Morphisms.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
11	Christophe Damas, Bernard Lambeau, Axel van Lamsweerde	Scenarios, goals, and state machines: a win-win partnership for model synthesis.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	scenario-based elicitation, synthesis of behavior models, incremental learning, labelled transition systems, message sequence charts, goal-oriented requirements engineering, analysis tools, scenario generation
11	Abdelouahed Gherbi, Ferhat Khendek	Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT.	SAM	2006	DBLP DOI BibTeX RDF
11	Hua-Fu Li, Man-Kwan Shan, Suh-Yin Lee	Detecting Changes in User-Centered Music Query Streams.	ICME	2006	DBLP DOI BibTeX RDF
11	John P. Watt, Oluwafemi O. Ajayi, Jipu Jiang, Jos Koetsier, Richard O. Sinnott	A Shibboleth-Protected Privilege Management Infrastructure for e-Science Education.	CCGRID	2006	DBLP DOI BibTeX RDF
11	Jeff Kramer	Component-Based Modeling, Analysis and Animation.	CCGRID	2006	DBLP DOI BibTeX RDF
11	Dalia Krieger	On Critical Exponents in Fixed Points of Binary k-Uniform Morphisms.	STACS	2006	DBLP DOI BibTeX RDF
11	Issam Jabri, Nicolas Krommenacker, Adel Soudani, Thierry Divoux	Load Balancing Approach for Wireless IEEE 802.11 QoS Enhancement. (PDF / PS)	PWC	2006	DBLP DOI BibTeX RDF	QoS Protocol, Load Balancing, Wireless LAN, SDL
11	Peter Schuster 0001, Júlia Zappe	Do Noetherian Modules Have Noetherian Basis Functions?.	CiE	2006	DBLP DOI BibTeX RDF
11	David Harel, Shahar Maoz	Assert and negate revisited: modal semantics for UML sequence diagrams.	SCESM	2006	DBLP DOI BibTeX RDF	inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms
11	Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero	A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	scenario-based verification, model checking, formal methods, Requirements/specifications
11	Bill Mitchell	Resolving Race Conditions in Asynchronous Partial Order Scenarios.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	formal methods, Requirements analysis, distributed programming
11	Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde	Generating Annotated Behavior Models from End-User Scenarios.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Scenario-based elicitation, synthesis of behavior models, incremental learning, labeled transition systems, model validation, message sequence charts, analysis tools, scenario generation, invariant generation
11	Florentin Ipate, Mike Holcombe	Using State Diagrams to Generate Unit Tests for Object-Oriented Systems.	XP	2005	DBLP DOI BibTeX RDF	finite state machines, unit testing, functional testing, state diagrams, stream X-machines
11	Mike Holcombe, Bhavnidhi Kalra	Agile Development Environment for Programming and Testing (ADEPT) - Eclipse Makes Project Management eXtreme.	XP	2005	DBLP DOI BibTeX RDF
11	Chien-An Chen, Sara Kalvala, Jane E. Sinclair	Race-free Scenarios of Message Sequence Charts.	APSEC	2005	DBLP DOI BibTeX RDF
11	Chien-An Chen, Sara Kalvala, Jane E. Sinclair	Race Conditions in Message Sequence Charts.	APLAS	2005	DBLP DOI BibTeX RDF
11	Hugo Hedberg, Joachim Neves Rodrigues, Fredrik Kristensen, Henrik Svensson, Matthias Kamuf, Viktor Öwall	Teaching Digital ASIC Design to Students with Heterogeneous Previous Knowledge.	MSE	2005	DBLP DOI BibTeX RDF
11	Mike Griffiths	Teaching Agile Project Management to the PMI.	AGILE	2005	DBLP DOI BibTeX RDF
11	Azlinah Mohamed, Syed Helmy Syed Abu Bakar	Evolution of Information Systems in Malaysia.	EGOV	2004	DBLP DOI BibTeX RDF
11	Arnab Ray, Bikram Sengupta, Rance Cleaveland	Secure Requirements Elicitation Through Triggered Message Sequence Charts.	ICDCIT	2004	DBLP DOI BibTeX RDF
11	Tamar Benaya, Ela Zur	Can students improve their undergraduate schievements and get accepted to graduate school?	ITiCSE	2004	DBLP DOI BibTeX RDF	master's program
11	Blaise Genest, Anca Muscholl, Dietrich Kuske	A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
11	Alessandra Cavarra, Juliana Küster Filipe	Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
11	Simon Pickin 0001, Jean-Marc Jézéquel	Using UML Sequence Diagrams as the Basis for a Formal Test Description Language.	IFM	2004	DBLP DOI BibTeX RDF
11	Cecilia Sik-Lányi, Erzsébet Bacsa, Rita Mátrai, Zsolt Tibor Kosztyán, Ilona Pataky	The Design Question of Development of Multimedia Educational Software for Aphasia Patients.	ICCHP	2004	DBLP DOI BibTeX RDF
11	Hasan Ural, Hüsnü Yenigün	Towards Design Recovery from Observations.	FORTE	2004	DBLP DOI BibTeX RDF
11	Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke	Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
11	Xiaoming Yu, Shenghua Zhang, Erwin Johnson	A discrete post-processing method for structural optimization.	Eng. Comput.	2003	DBLP DOI BibTeX RDF	Finite element, Mathematical Programming, Design of experiments, Structural design, Discrete Optimization
11	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Synthesis of Behavioral Models from Scenarios.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	scenario-based specification, sequence chart combination, requirements analysis, Requirements specification, Message Sequence Charts
11	Anca Muscholl, Doron A. Peled	Deciding Properties of Message Sequence Charts.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
11	Blaise Genest, Anca Muscholl, Doron A. Peled	Message Sequence Charts.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
11	Matthias Beyer, Winfried Dulz, Fenhua Zhen	Automated TTCN-3 Test Case Generation by Means of UML Sequence Diagrams and Markov Chains.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
11	Neil R. Watson, Nigel W. John, William J. Crowther	Simulation of Unmanned Air Vehicle Flocking.	TPCG	2003	DBLP DOI BibTeX RDF
11	Helen M. Edwards, J. Barrie Thompson	Reflections on a UK Masters Level Software Engineering Programme Intended for the Home and International Market.	CSEE&T	2003	DBLP DOI BibTeX RDF
11	Jeff Kramer, Jeff Magee, Sebastián Uchitel	Software Architecture Modeling & Analysis: A Rigorous Approach.	SFM	2003	DBLP DOI BibTeX RDF
11	Javier López 0001, Juan J. Ortega, José Luis Vivas, José M. Troya	How to Specify Security Services: A Practical Approach.	Communications and Multimedia Security	2003	DBLP DOI BibTeX RDF
11	Uwe Gerecke, Patrick Hohmann, Bernardo Wagner	Educational Robotics in a Systems Design Masters Program.	ICALT	2003	DBLP DOI BibTeX RDF
11	Ramesh Srinivasan	Articulating the Digital Environment Via Community-Generated Ontologies.	Digital Cities	2003	DBLP DOI BibTeX RDF
11	Hesham Kamal Arafat Mohamed, Bruno Müller-Clostermann	Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts.	FORTE	2003	DBLP DOI BibTeX RDF
11	Wei Monin, Fabrice Dubois, Daniel Vincent, Pierre Combes	Looking for Better Integration of Design and Performance Engineering.	SDL Forum	2003	DBLP DOI BibTeX RDF
11	Benoit Parreaux, Daniel Vincent, Gérard Babonneau	RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol.	SDL Forum	2003	DBLP DOI BibTeX RDF
11	Javier López 0001, Juan J. Ortega, José M. Troya	Applying SDL to Formal Analysis of Security Systems.	SDL Forum	2003	DBLP DOI BibTeX RDF
11	Susanne Graf, Ileana Ober	A Real-Time Profile for UML and How to Adapt It to SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF
11	Yong He, Daniel Amyot, Alan W. Williams	Synthesizing SDL from Use Case Maps: An Experiment.	SDL Forum	2003	DBLP DOI BibTeX RDF
11	Winfried Dulz, Fenhua Zhen	MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3.	QSIC	2003	DBLP DOI BibTeX RDF
11	Ingolf Krüger	Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.	FASE	2003	DBLP DOI BibTeX RDF
11	Javier López 0001, Juan J. Ortega, José M. Troya	Protocol Engineering Applied to Formal Analysis of Security Systems.	InfraSec	2002	DBLP DOI BibTeX RDF
11	Sung Goo Cho, Hyun Ku Jeong, Joong Soo Ma	Performance Optimization Technique of Location Registration in Public Transportation.	CDMA International Conference	2002	DBLP DOI BibTeX RDF
11	Douglas S. Bridges, Hajime Ishihara, Peter Schuster 0001	Compactness and Continuity, Constructively Revisited.	CSL	2002	DBLP DOI BibTeX RDF
11	Dale A. Carnegie	Electronics Education: A Systems Based Mechatronic Approach.	DELTA	2002	DBLP DOI BibTeX RDF	electronics education, autonomous mobile robotics, Mechatronics