Abstract: A method of developing software including a plurality of actors executable in parallel includes obtaining first input data including information regarding a plurality of procedures defining a series of messages between a first actor and at least one second actor from among the plurality of actors, obtaining second input data including information regarding relationships between the plurality of procedures, generating control data by interpreting the first and second input data, and controlling the plurality of procedures by processing the series of messages using the control data.

Abstract: A method of developing software including a plurality of actors executable in parallel includes obtaining first input data including information regarding a plurality of procedures defining a series of messages between a first actor and at least one second actor from among the plurality of actors, obtaining second input data including information regarding relationships between the plurality of procedures, generating control data by interpreting the first and second input data, and controlling the plurality of procedures by processing the series of messages using the control data.

Abstract: An apparatus and method is provided for increasing GPS reception sensitivity in a mobile terminal having a mobile-based GPS positioning function. A GPS receiver in the mobile terminal generates SA data by using basic information about GPS satellites and system time. Here, the SA data is a replica of the total information bits of navigation data. The GPS receiver then correlates a PRN code with a GPS signal and coherent-integrating the correlation result by using the SA data. It calculates a position solution of the mobile terminal by using the integrated samples.

Abstract: An apparatus and method is provided for increasing GPS reception sensitivity in a mobile terminal having a mobile-based GPS positioning function. A GPS receiver in the mobile terminal generates SA data by using basic information about GPS satellites and system time. Here, the SA data is a replica of the total information bits of navigation data. The GPS receiver then correlates a PRN code with a GPS signal and coherent-integrating the correlation result by using the SA data. It calculates a position solution of the mobile terminal by using the integrated samples.