Filters








49,939 Hits in 3.4 sec

Products of Message Sequence Charts [chapter]

Philippe Darondeau, Blaise Genest, Loïc Hélouët
Foundations of Software Science and Computational Structures  
doi:10.1007/978-3-540-78499-9_32 dblp:conf/fossacs/DarondeauGH08 fatcat:e66qy2ajt5cqzcahxjiryi5jdm

Gear-Shift Decoding

M. Ardakani, F.R. Kschischang
2006 IEEE Transactions on Communications  
Using extrinsic information transfer charts, the problem of finding the optimum (minimum decoding latency) gear-shift decoder is formulated as a computationally tractable dynamic program.  ...  This paper considers a class of iterative messagepassing decoders for low-density parity-check codes in which the decoder can choose its decoding rule from a set of decoding algorithms at each iteration  ...  A gear-shift decoder can be described by a gear-shift sequence, i.e., a sequence of integers , where denotes the number of iterations, and where for all .  ... 
doi:10.1109/tcomm.2006.876885 fatcat:pvvimu6nqvf6fpyuds77znwemm

Gear-shift decoding

M. Ardakani, F.R. Kschischang
2006 IEEE Transactions on Communications  
Using extrinsic information transfer charts, the problem of finding the optimum (minimum decoding latency) gear-shift decoder is formulated as a computationally tractable dynamic program.  ...  This paper considers a class of iterative messagepassing decoders for low-density parity-check codes in which the decoder can choose its decoding rule from a set of decoding algorithms at each iteration  ...  A gear-shift decoder can be described by a gear-shift sequence, i.e., a sequence of integers , where denotes the number of iterations, and where for all .  ... 
doi:10.1109/tcomm.2006.877971 fatcat:cmgzbazgzzhrtfko6ypzdkng5i

Tutorial on Message Sequence Charts

Ekkart Rudolph, Peter Graubmann, Jens Grabowski
1996 Computer networks and ISDN systems  
user A REPLY_B_BUSY REPLY_B_FREE REPLY_B_STILL_FREE REPLY_A_BUSY REPLY_A_FREE recall CCBS_Await_Status User_A_Busy Message Sequence Charts FORTE/PSTV'96 Message Sequence Charts FORTE  ...  SUSPENSION monitoring of user A REPLY_B_BUSY REPLY_B_FREE REPLY_B_STILL_FREE2 CCBS_Await_Status User_A_Busy Message Sequence Charts FORTE/PSTV'96 CHECK_STATUS_B CHECK_STATUS_A msc CHECK_STATUS_A  ...  grammars including the production of a Common Interchange Format for MSC Conditions strong global condition concept general predicates in conditions further investigation of the relation between composition  ... 
doi:10.1016/0169-7552(95)00122-0 fatcat:smjcxjgpjzczde2f7dxlysbfae

Page 45 of Journal of Research and Practice in Information Technology Vol. 11, Issue 2 [page]

1979 Journal of Research and Practice in Information Technology  
Each line in the chart identifies the Product, Relation and Messages involved at that stage.  ...  Standard products and standard com- ponents have been generalized to fit within the scope of the SEAL form of a SEAL PROCESS CHART using the SEAL PROCESS LANGUAGE to _ identify MESSAGES, ag RELATIONS and  ... 

Page 30 of Journal of Advertising Research Vol. 8, Issue 1 [page]

1968 Journal of Advertising Research  
., a firm) which controls the con- tent and timing of its messages (e.g., advertising, product design, price), and (b) a type of consumer (ie., one individual or a homogeneous market seg- ment) who is  ...  FLow CHarT 2 Cy St >Ay A (5) 3) (2) Vv ie (1) mt Flow Chart 2 portrays the very simplified struc- ture of a possible consumer decision process.  ... 

Generating Snapshots of a Component Setting

Sotiris Moschoyiannis
2004 Electronical Notes in Theoretical Computer Science  
In this paper we describe the use of Live Sequence Charts (LSCs) to describe component interactions.  ...  Software components are often seen as panacea when faced with the challenges of the increasing use of software in many diverse areas of computation.  ...  Modelling horizontal communication Typically, Message Sequence Charts (MSCs) [16] are used to specify scenarios as sequences of message interactions between objects or processes.  ... 
doi:10.1016/j.entcs.2004.01.014 fatcat:iy32ozatgjhgfdurm52iuivlme

Hash Functions Based on Large Quasigroups [chapter]

Václav Snášel, Ajith Abraham, Jiří Dvorský, Pavel Krömer, Jan Platoš
2009 Lecture Notes in Computer Science  
The quasigroups are equivalent to the more familiar Latin squares and one of their most important properties is that all possible element of certain quasigroup occurs with equal probability.  ...  It allows us to compute hash function without storing large amount of data (look-up table). The hash function computation is illustrated by experiments summarized in the last section of this paper.  ...  For real usage arithmetic of long numbers (i.g. 512 bits) must be adopted. Nonassociative structure -neofield -could be incorporated in our future works.  ... 
doi:10.1007/978-3-642-01970-8_51 fatcat:6vwcpa4xibco7pe6rnnqe5tm2q

Test Case Generation and Optimization using UML Models and Genetic Algorithm

Namita Khurana, R.S. Chillar
2015 Procedia Computer Science  
Our approach is to convert Sequence Diagram into Sequence Graph and then to convert State Chart Diagram into State chart Graph.  ...  for system testing and to identify Error handling, correctness, pre-post condition faults, interaction, message sequence faults and scenario faults.  ...  A sequence diagram explains how objects communicate with each other in terms of a sequence of messages. Also indicates the life spans of objects relative to those messages.  ... 
doi:10.1016/j.procs.2015.07.502 fatcat:glgzoyam5rbfppg4cqllcdly3a

Detecting implied scenarios in message sequence chart specifications

Sebastian Uchitel, Jeff Kramer, Jeff Magee
2001 Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-9  
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification.  ...  Implied scenarios may appear as a result of unexpected component interaction.  ...  Definition 4 . 4 (High-level Message Sequence Charts) A highlevel message sequence chart (hMSC) is a graph of the form (N, A, s o ) where: -N is a set of nodes. -A ⊆ (N x N) is a set of arrows.  ... 
doi:10.1145/503209.503220 dblp:conf/sigsoft/UchitelKM01 fatcat:sv7byaz5obd43izxr2wzzni5am

Detecting implied scenarios in message sequence chart specifications

Sebastian Uchitel, Jeff Kramer, Jeff Magee
2001 Software engineering notes  
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification.  ...  Implied scenarios may appear as a result of unexpected component interaction.  ...  Definition 4 . 4 (High-level Message Sequence Charts) A highlevel message sequence chart (hMSC) is a graph of the form (N, A, s o ) where: -N is a set of nodes. -A ⊆ (N x N) is a set of arrows.  ... 
doi:10.1145/503271.503220 fatcat:ht2bfmziqnajzowlrjbedqebf4

7 Requirements Modeling for Embedded Realtime Systems [chapter]

Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini
2010 Lecture Notes in Computer Science  
challenge  Requirements Engineering  Process of defining the goals and constraints of the system  Errors in this phase are costly to fix  Specific ERS Requirements Engineering Techniques 2  ...  Motivation  Embedded Realtime Systems (ERS)  Embedded as a part of a complete system • Cars, airplanes, medical devices, ...  Realtime computing constraints  High complexity • Software development  ...  systems  Message Sequence Charts  Interaction diagram  Similar to UML sequence diagrams  MSCs are very powerful  States, loops, …  Failures can be produced • Killing roles • Removing messages from  ... 
doi:10.1007/978-3-642-16277-0_7 fatcat:vz4ds23d6zfqdbuetc3gnh2tjm

L2C2: Logic-based LSC Consistency Checking [article]

Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
2010 arXiv   pre-print
Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language for reactive systems.  ...  An LSC simulator has been implemented in logic programming, utilizing a memoized depth-first search strategy, to show how a reactive system in LSCs would response to a set of external event sequences.  ...  due to multiple CFG productions from the same variable to represent different message sequences.  ... 
arXiv:1002.3083v1 fatcat:xndutmgazbe7vnwuhjq7hk2utu

Detecting implied scenarios in message sequence chart specifications

Sebastian Uchitel, Jeff Kramer, Jeff Magee
2001 Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-9  
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification.  ...  Implied scenarios may appear as a result of unexpected component interaction.  ...  Definition 4 . 4 (High-level Message Sequence Charts) A highlevel message sequence chart (hMSC) is a graph of the form (N, A, s o ) where: -N is a set of nodes. -A ⊆ (N x N) is a set of arrows.  ... 
doi:10.1145/503218.503220 fatcat:vvfu5zszdbc4lkepxvl5gtqfne

A Heuristic Technique for Automated Test Cases Generation from UML Activity Diagram

A.V.K. Shanthi, G. Mohan Kumar
2012 i-manager's Journal on Software Engineering  
This paper focuses on test cases generation by means of UML Sequence diagram using Genetic Algorithm which best test cases are optimized and the test cases validated by prioritization.  ...  The most common style of Automated testing is Create a test case.  ...  It is a construct of a Message Sequence Chart. A sequence diagram shows object interactions arranged in time sequence.  ... 
doi:10.26634/jse.6.3.1787 fatcat:nlif4lrsknc63jut6iap333f4m
« Previous Showing results 1 — 15 out of 49,939 results