Search results for "MSC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	José Marcelo A. P. Cestari, Eduardo de Freitas Rocha Loures, Eduardo A. P. dos Santos, Yongxin Liao, Hervé Panetto, Mario Lezoche	An Overview of Attributes Characterization for Interoperability Assessment from the Public Administration Perspective.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Sebastian Götz, Thomas Ilsche, Jorge Cardoso 0001, Josef Spillner, Uwe Aßmann, Wolfgang E. Nagel, Alexander Schill	Energy-Efficient Data Processing at Sweet Spot Frequencies.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Stefano Bortoli, Paolo Bouquet, Barbara Bazzanella	OntoCleaning the Okkam Conceptual Model.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Numanul Subhani, Robert D. Kent	Incorporating Policy-Based Authorization Framework in Audit Rule Ontology for Continuous Process Auditing in Complex Distributed Systems.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Tiziana Guzzo, Alessia D'Andrea, Fernando Ferri, Patrizia Grifoni	Towards Social Networks Services Integration.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Francesca Fallucchi, Elena Alfonsi, Alessandro Ligi, Massimiliano Tarquini	Ontology-Driven Public Administration Web Hosting Monitoring System.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Nadia Soudani, Ibrahim Bounhas, Bilel Elayeb, Yahya Slimani	Toward an Arabic Ontology for Arabic Word Sense Disambiguation Based on Normalized Dictionaries.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Alok Mishra 0001, Deepti Mishra 0001	Cultural Issues in Distributed Software Development: A Review.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Gregor Grambow, Nicolas Mundbrod, Jens Kolb, Manfred Reichert	Towards Simple and Robust Automation of Sustainable Supply Chain Communication.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Alfredo Cuzzocrea, Elisa Bertino	A Comprehensive Theoretical Framework for Privacy Preserving Distributed OLAP.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Anett Hoppe, Ana Roxin, Christophe Nicolle	Customizing Semantic Profiling for Digital Advertising.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Maria Chiara Caschera, Arianna D'Ulizia, Fernando Ferri, Patrizia Grifoni	An Italian Multimodal Corpus: The Building Process.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Maricela Bravo, Lizbeth Gallardo, Henoch Cruz	Semantic Search of Academic Resources in a Mobile Computing Platform.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Maria Claudia Buzzi, Marina Buzzi, Barbara Leporini, Giulio Mori, Víctor M. Ruiz Penichet	Collaborative Editing: Collaboration, Awareness and Accessibility Issues for the Blind.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Avi Wasser, Maya Lincoln	Key Deficiencies of Semantic Business Process Search.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Peter Bollen	Referencing Modes and Ease of Validation within Fact-Based Modeling.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Xiaolu Lu 0001, Dongxu Li, Xiang Li, Ling Feng	Ranking Object under Team Context.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Qing Li 0010, Hao Luo, Pei-Xuan Xie, Xiao-Qian Feng	Enterprise Networks Integration in a Sensing Environment: A Case Study.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Paula Lago	Context Enriched Patterns of Behavior for Delivering Notifications in Ambient-Assisted Living.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Adel Taweel, Samhar Mahmoud, Abdel-Rahman H. Tawil	Privacy-Aware Agent-Oriented Architecture for Distributed eHealth Systems.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Dan-Mircea Suciu, Bogdan Andrei Pop, Rares Urdea, Bogdan Eduard-Madalin Mursa	Non-intrusive Tongue Tracking and Its Applicability in Post-stroke Rehabilitation.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Wided Guédria, Henderik Alex Proper	The Need for Second Order Interoperation - A View Beyond Traditional Concepts.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Anderson Luis Szejka, Alexis Aubry, Hervé Panetto, Osíris Canciglieri Júnior, Eduardo F. R. Loures	Towards a Conceptual Framework for Requirements Interoperability in Complex Systems Engineering.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Claude Moulin, Kenji Sugawara, Yuki Kaeri, Shigeru Fujita, Marie-Hélène Abel	Collaborative Brainstorming Activity Results and Information Systems.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Simon Harrer	Process Engine Selection Support.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Prince Mayurank Singh	Developing a Service Oriented IT Platform for Synchromodal Transportation.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Yan Tang Demey	Adapting the Fact-Based Modeling Approach in Requirement Engineering.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Lohit Kapoor, Seema Bawa, Ankur Gupta 0001	A Novel Mechanism for Dynamic Optimization of Intercloud Services.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Raluca Alexandra Ciuciu, Veronica Mateescu, Ioana Ciuciu	Organizational Culture and Innovation: An Industrial Case Study.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Philip Raschke, Sebastian Zickau	A Template-Based Policy Generation Interface for RESTful Web Services.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Adel Taweel, Lina Barakat, Simon Miles	A Distributed Service-Based System for Homecare Self-Management.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Cristóvão Sousa, António Lucas Soares, Carla Pereira 0006, Samuel Moniz	Establishing Conceptual Commitments in the Development of Ontologies through Competency Questions and Conceptual Graphs.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Vinh Thinh Luu, Ioana Ciuciu	Semantic Annotation of Service Choreographies.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Alessandro Maisto, Serena Pelosi	Feature-Based Customer Review Summarization.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Hong Guo 0004, Hallvard Trætteberg, Alf Inge Wang, Shang Gao 0002	PerGO: An Ontology towards Model Driven Pervasive Game Development.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Sudipto Shankar Dasgupta, Prabal Mahanta, Rupam Roy, Ganapathy Subramanian	Forecasting Industry Big Data with Holt Winter's Method from a Perspective of In-Memory Paradigm.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Sira Yongchareon, Kan Ngamakeur, Chengfei Liu, Sivadon Chaisiri, Jian Yu	A Workflow Execution Platform for Collaborative Artifact-Centric Business Processes.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Tom Pauwaert, Amy Van Looy	A Literature Study on the State-of-the-Art of Contingency Research in Business Process Management.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Juan Garbajosa, Agustín Yagüe, Eloy González	Communication in Agile Global Software Development: An Exploratory Study.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Francesco Di Cerbo, Slim Trabelsi	Re-Identification Risk Based Security Controls.	OTM Workshops	2014	DBLP DOI BibTeX RDF
20	Emmanuel Gaudin, Eric Brunel	Property Verification with MSC.	SDL Forum	2013	DBLP DOI BibTeX RDF
20	Rossen Radonov, Elitsa Gieva, Slavka Tzanova	Remote ECAD laboratory access for the MSc course 'Advanced Electronics for information and communication systems'.	EDUCON	2013	DBLP DOI BibTeX RDF
20	S. Akshay 0001, Blaise Genest, Loïc Hélouët, Shaofa Yang	Regular set of representatives for time-constrained MSC graphs.	Inf. Process. Lett.	2012	DBLP DOI BibTeX RDF
20	Hao Wang, Yu Zhou 0003, Xudong Fu, Jie Gao, Guangqian Wang	Maximum speedup ratio curve (MSC) in parallel computing of the binary-tree-based drainage network.	Comput. Geosci.	2012	DBLP DOI BibTeX RDF
20	Minxue Pan, Xuandong Li	Timing analysis of MSC specifications with asynchronous concatenation.	Int. J. Softw. Tools Technol. Transf.	2012	DBLP DOI BibTeX RDF
20	Christoph Lange 0002, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou	Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset	CoRR	2012	DBLP BibTeX RDF
20	Haitao Dan, Robert M. Hierons	Controllability Problems in MSC-Based Testing.	Comput. J.	2012	DBLP DOI BibTeX RDF
20	S. Akshay 0001, Blaise Genest, Loïc Hélouët, Shaofa Yang	Symbolically Bounding the Drift in Time-Constrained MSC Graphs.	ICTAC	2012	DBLP DOI BibTeX RDF
20	Christoph Lange 0002, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou	Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset.	AISC/MKM/Calculemus	2012	DBLP DOI BibTeX RDF
20	Fachao Li 0001, Li Da Xu, Chenxia Jin, Hong Wang	Structure of Multi-Stage Composite Genetic Algorithm (MSC-GA) and its performance.	Expert Syst. Appl.	2011	DBLP DOI BibTeX RDF
20	Jose Eduardo Munive-Hernandez	Implementation of a knowledge portal as an e-learning tool to support MSc projects.	I-KNOW	2011	DBLP DOI BibTeX RDF
20	Gerasimos Papadopoulos, Nick Bassiliades	Monitoring Conformance to the Internal Regulation of an MSc Course Using Ontologies and Rules.	EGOVIS	2011	DBLP DOI BibTeX RDF
20	Hao Ma, Haiyan Ji, Xue Liang, Zhenhong Rao	Study of Quantitative Analysis for Moisture Content in Winter Wheat Leaves Using MSC-ANN Algorithm.	CCTA (2)	2011	DBLP DOI BibTeX RDF
20	Charalampos Bratsas, Anastasia Dimou, Georgios Alexiadis, Despoina-Eleana Chrysou, Kostantinos Kavargyris, Ioannis Parapontis, Panagiotis D. Bamidis, Ioannis Antoniou	Educational Semantic Wikis in the Linked Data Age: the case of MSc Web Science Program at Aristotle University of Thessaloniki.	Linked Learning@ESWC	2011	DBLP BibTeX RDF
20	Yu Su, Xian Feng	A novel application of MSC-Pool in mobile communication core networks.	CCNC	2011	DBLP DOI BibTeX RDF
20	Zhenqi Sun, Minghui Huang, Xinjiang Lu	A Cohesive Zone Model in Adhesive Bonding Joint Based on MSC.marc.	ICDMA	2011	DBLP DOI BibTeX RDF
20	Simon R. Thorne	Defending the future: An MSc module in End User Computing Risk Management	CoRR	2010	DBLP BibTeX RDF
20	Kamrul Hasan Talukder	Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification	CoRR	2010	DBLP BibTeX RDF
20	Mohamed Adel Serhani, Rachida Dssouli	Case Study: Master of Science in Service Computing (Msc SC).	SERVICES	2010	DBLP DOI BibTeX RDF	Service computing curriculum, Master of Science in Service Computing, Service, Service computing
20	Benedikt Bollig, Loïc Hélouët	Realizability of Dynamic MSC Languages.	CSR	2010	DBLP DOI BibTeX RDF
20	William Bradley Glisson, Ray Welland	Initial Case Study on "the Good, the Bad and the Ugly" Aspects of a New MSc Program in Computer Forensics and E-Discovery.	HICSS	2010	DBLP DOI BibTeX RDF
20	Yanka Todorova, Petko Ruskov, Elissaveta Gourova, Mark Harris	Applied Pattern for Strategy Management of Technology Entrepreneurship and Innovation MSc Program.	EuroPLoP	2009	DBLP BibTeX RDF
20	Flávia Falcão, Juliano Iyoda, Augusto Sampaio	Multiple Synchrony in MSC.	SBMF	2008	DBLP DOI BibTeX RDF
20	Gary Balas, Marco Lovera, Kevin L. Moore 0001	The 2008 MSC technical program.	CCA	2008	DBLP DOI BibTeX RDF
20	Tianle Zhang, Zhihui Du, Man Wang, Yin Ye	The Simulation of MSC EASY5 Model Based on the Grid.	GCC	2008	DBLP DOI BibTeX RDF
20	Sergiy Kryvyy, Lyudmila Matvyeyeva	Algorithm of Translation of MSC-specified System into Petri Net.	Fundam. Informaticae	2007	DBLP BibTeX RDF
20	Andrey N. Terekhov, V. V. Sokolov	Implementation of the conformation of MSC and SDL diagrams in the REAL technology.	Program. Comput. Softw.	2007	DBLP DOI BibTeX RDF
20	Doron Drusinsky, Man-tak Shing	Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
20	Aabhas V. Paliwal, Nabil R. Adam, Basit Shafiq, Christof Bornhövd	Policy based Web Service Orchestration and Goal Reachability Analysis using MSC and CP Nets.	CEC/EEE	2007	DBLP DOI BibTeX RDF
20	Kai Lennard Kerber	Performance message sequence chart: Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC.		2007	RDF
20	Uzay Kaymak	An MSc program in computational economics with a focus on computational intelligence.	IEEE Comput. Intell. Mag.	2006	DBLP DOI BibTeX RDF
20	Xin Yao 0001	A research-led and industry-oriented MSc program in natural computation.	IEEE Comput. Intell. Mag.	2006	DBLP DOI BibTeX RDF
20	Siong Choy Chong	Km Implementation and its Influence on Performance: an Empirical Evidence from Malaysian Multimedia Super Corridor (MSC) Companies.	J. Inf. Knowl. Manag.	2006	DBLP DOI BibTeX RDF
20	Paul Oehlers, Christopher H. Mich	MSC: a computer assisted system integrating music and video through magic squares as compositional models.	ICMC	2006	DBLP BibTeX RDF
20	Taha Landolsi, Marwan H. Abu-Amara	CDMA Access Channel Performance under Idle-Mode Ping-Pong Effect in Inter-MSC Handoffs.	ISWCS	2006	DBLP DOI BibTeX RDF
20	Sergiy Kryvyy, Lyudmila Matvyeyeva, Mariya Lopatina	Automatic Modeling and Analysis of MSC-specified Systems.	Fundam. Informaticae	2005	DBLP BibTeX RDF
20	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Realizability and verification of MSC graphs.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
20	Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan	A theory of regular MSC languages.	Inf. Comput.	2005	DBLP DOI BibTeX RDF
20	Daniel Amyot, Alan W. Williams (eds.)	System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers	SAM	2005	DBLP DOI BibTeX RDF
20	Yu-Hwan Ahn, Jee-Eun Min, Joo-Hyung Ryu, Palanisamy Shanmugam, Jeong-Eon Moon, Kyu-Sung Lee	Development of suspended sediment algorithm for kompsat-II MSC.	IGARSS	2005	DBLP DOI BibTeX RDF
20	Hesham Kamal Arafat Mohamed	MINA - a tool for MSC-based performance analysis and simulation of distributed systems. (PDF / PS)		2005	RDF
20	Markus Lohrey, Anca Muscholl	Bounded MSC communication.	Inf. Comput.	2004	DBLP DOI BibTeX RDF
20	Helmut Neukirchen, Zhen Ru Dai, Jens Grabowski	Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing.	TestCom	2004	DBLP DOI BibTeX RDF
20	Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández 0001, Norberto Fernández García	MSC-Based Formalism for Automated Web Navigation.	ICWE	2004	DBLP DOI BibTeX RDF
20	Lyudmila Matvyeyeva, Sergiy Kryvyy, Mariya Lopatina	Automatic Analysis and Verification of MSC-Specified Telecommunication System.	ICINCO (2)	2004	DBLP BibTeX RDF
20	Ton J. Mouthaan	A Case Study of a Microsystems MSc Curriculum.	DELTA	2004	DBLP DOI BibTeX RDF
20	Sang-Soon Yong, Sung-Woong Ra	The design of MSC (multi-spectral camera) system operation.	IGARSS	2004	DBLP DOI BibTeX RDF
20	Amirudin Abdul Wahab	A complexity approach to national IT policy making: the case of Malaysia's Multimedia Super Corridor (MSC)		2004	RDF
20	Michael Ebner	UML-based test specification for communication systems: a methodology for the use of MSC and IDL in testing.		2004	RDF
20	Loïc Hélouët	Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2.	SAM	2004	DBLP DOI BibTeX RDF
20	Bill Mitchell, Robert Thomson 0002, Paul Bristow	Scenario Synthesis from Imprecise Requirements.	SAM	2004	DBLP DOI BibTeX RDF
20	Andreas Hoffmann 0001, Bertram Neubauer	Deployment and Configuration of Distributed Systems.	SAM	2004	DBLP DOI BibTeX RDF
20	Paresh Jain, Amresh Paresh Jain	Validating Wireless Protocol Conformance Test Cases.	SAM	2004	DBLP DOI BibTeX RDF
20	Arjan J. Mooij, Nicolae Goga	Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control.	SAM	2004	DBLP DOI BibTeX RDF
20	Rick Reed	Data Encoding for SDL in ITU-T Rec. Z.104.	SAM	2004	DBLP DOI BibTeX RDF	Text encoding, Encoding, SDL, Data, ASN.1
20	Rolv Bræk, Jacqueline Floch	ICT Convergence: Modeling Issues.	SAM	2004	DBLP DOI BibTeX RDF
20	Joachim Fischer, Michael Piefel, Markus Scheidgen	A Metamodel for SDL-2000 in the Context of Metamodelling ULF.	SAM	2004	DBLP DOI BibTeX RDF
20	Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible	A Flexible Micro Protocol Framework.	SAM	2004	DBLP DOI BibTeX RDF
20	Cas J. F. Cremers, Sjouke Mauw	Checking Secrecy by Means of Partial Order Reduction.	SAM	2004	DBLP DOI BibTeX RDF
20	Edel Sherratt	SDL in a Changing World.	SAM	2004	DBLP DOI BibTeX RDF