메뉴 건너뛰기




Volumn , Issue , 2004, Pages 16-22

A new formal model based on P-system for mobile transactions

Author keywords

[No Author keywords available]

Indexed keywords

CONSUMER PRODUCTS; DECISION MAKING; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; PERSONAL DIGITAL ASSISTANTS; PROBLEM SOLVING; THEOREM PROVING; BANDWIDTH; COMPUTER SCIENCE; LAPTOP COMPUTERS; MOBILE TELECOMMUNICATION SYSTEMS; SEMANTICS; SENSORS; SMART CARDS; TELECOMMUNICATION NETWORKS;

EID: 4644297110     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (1)

References (18)
  • 1
    • 0034248380 scopus 로고    scopus 로고
    • Computing with membranes
    • See also Turku Center for Computer Science-TUCS Report No. 208, 1998, www.tucs.fi
    • Gh. Pǎun, Computing with membranes, J. Comput. System Sci. 61(1): 108-143 (2000). (See also Turku Center for Computer Science-TUCS Report No. 208, 1998, www.tucs.fi).
    • (2000) J. Comput. System Sci. , vol.61 , Issue.1 , pp. 108-143
    • Pǎun, G.1
  • 3
    • 0013369183 scopus 로고    scopus 로고
    • Coloured petri nets. Basic concepts, analysis methods and practical use
    • Springer-Verlag, 2nd corrected printing
    • K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Monographs in Theoretical Computer Science, Volume 1, Springer-Verlag, 2nd corrected printing 1997.
    • (1997) Basic Concepts. Monographs in Theoretical Computer Science , vol.1
    • Jensen, K.1
  • 4
    • 0015195766 scopus 로고
    • Hierarchical ordering of sequential processes
    • E.W. Dijkstra, Hierarchical ordering of sequential processes, Acta Informatica 1: 115-138 (1971).
    • (1971) Acta Informatica , vol.1 , pp. 115-138
    • Dijkstra, E.W.1
  • 5
    • 84885193540 scopus 로고    scopus 로고
    • Defining an adaptable mobile transaction service
    • Springer, Berlin
    • P.S.-Alvarado, Defining an Adaptable Mobile Transaction Service, Lecture Notes in Computer Science, Vol. 2490, Springer, Berlin.
    • Lecture Notes in Computer Science , vol.2490
    • Alvarado, P.S.1
  • 6
    • 0037401033 scopus 로고    scopus 로고
    • Mobile users in heterogeneous environments with middleware platform
    • N. Pissinoua, K. Makkia, B.K.-Ries, Mobile users in heterogeneous environments with middleware platform, Computer Communications 26: 700-707 (2003).
    • (2003) Computer Communications , vol.26 , pp. 700-707
    • Pissinoua, N.1    Makkia, K.2    Ries, B.K.3
  • 15
    • 85086053643 scopus 로고    scopus 로고
    • Computing with membranes: Variants with an enhanced membrane handling
    • M. Margenstem, C. Martin-Vide, Gh. Pǎun, Computing with Membranes: Variants with an Enhanced Membrane Handling, DATA 2001: 340-349.
    • (2001) DATA , pp. 340-349
    • Margenstem, M.1    Martin-Vide, C.2    Pǎun, G.3
  • 18
    • 0344118797 scopus 로고    scopus 로고
    • A calculus for longrunning transactions
    • L. Bocchi, C. Laneve, G. Zavattaro, A Calculus for LongRunning Transactions, FMOODS 2003: 124-138.
    • (2003) FMOODS , pp. 124-138
    • Bocchi, L.1    Laneve, C.2    Zavattaro, G.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.