{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:52:11Z","timestamp":1729641131508,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/coginf.2005.1532649","type":"proceedings-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T10:48:27Z","timestamp":1132051707000},"page":"331-339","source":"Crossref","is-referenced-by-count":2,"title":["Formal specification of CORBA-based distributed objects and behaviors"],"prefix":"10.1109","author":[{"given":"C.F.","family":"Ngolah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yingxu Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"13"},{"journal-title":"The Common Object Request Broker Architecture and Specification","year":"1998","key":"11"},{"journal-title":"Common Object Services Specification\/98-07-05","year":"1998","key":"12"},{"key":"3","article-title":"A new math for software engineering - The real-time process algebra (RTPA)","author":"wang","year":"2002","journal-title":"Proceedings of the 2nd ASERC Workshop on Quantitative and Soft Computing Based Software Engineering"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2002.1039306"},{"journal-title":"Comparison of Middleware Technologies - CORBA RMI & COM\/DCOM","year":"0","author":"abhishek","key":"1"},{"key":"10","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1007\/3-540-48743-3_22","article-title":"Formal specification and prototyping of CORBA systems","volume":"1628","author":"re?mi","year":"1999","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"What's An Agent Anyway? A Sociological Case Study","year":"1993","author":"foner","key":"7"},{"journal-title":"A survey of cognitive and agent architectures","year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020537121530"},{"key":"4","first-page":"663","article-title":"A new approach to real-time systems specification","volume":"2","author":"wang","year":"2002","journal-title":"Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02)"},{"key":"9","first-page":"105","article-title":"Formal specification of CORBA services: Experience and lessons learned","volume":"october","author":"re?mi","year":"2000","journal-title":"ACM Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA'2000) Minneapolis Minnesota"},{"key":"8","article-title":"The specification of distributed objects: Liveness and locality","author":"sivilotti","year":"1999","journal-title":"Sivilotti and Giles"}],"event":{"name":"Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005).","start":{"date-parts":[[2005,8,8]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2005,8,10]]}},"container-title":["Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005)."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10264\/32698\/01532649.pdf?arnumber=1532649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T20:56:00Z","timestamp":1497646560000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1532649\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/coginf.2005.1532649","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}