000			00670nam a2200205Ia 4500
999			_c22206 _d22206
008			161214s9999 xx 000 0 und d
020			_a9783540206323 _cpbk
082			_a004 _bSAR
100			_aSaraswat, Vijay A.
245		0	_aAdvances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings
260			_aNew York: _bSpringer-Verlag, _c2003
300			_aviii, 304 p.; _bindex: _c23 cm.
365			_aINR/EURO _b2737.00/46.00
440			_v2896
490			_aLecture notes in computer science
520			_aThis book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003. The 16 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 53 submissions. Among the topics addressed are type theory for operating systems protection, self configurable servers, network services, predicate detection, hierarchical specification, proof theory, electronic auctions, secure mobile computing, programming casculi, access control, middleware, program logic, real-time systems, and probabilistic distributed systems
650			_aComputer science
650			_aKernel Mode Linux
650			_aCalculus
650			_aServer
650			_aOperating systems protection
650			_aProof theory
650			_aNetwork services
650			_aSecure mobile computing
650			_aReal-time systems
650			_aElectronic computers
650			_aProbabilistic distributed systems
650			_aElectronic data processing
650			_aProgramming languages
650			_aMiddleware
942			_2ddc _cBK