Deductive verification of probabilistic real-time systems (English)
- New search for: Yamane, S.
- New search for: Yamane, S.
In:
24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings.
;
622-627
;
2004
-
ISBN:
- Conference paper / Electronic Resource
-
Title:Deductive verification of probabilistic real-time systems
-
Contributors:Yamane, S. ( author )
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2004-01-01
-
Size:322984 byte
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 0_3
-
24th International Conference on Distributed Computing Systems Workshop| 2004
- 0_4
-
Copyright| 2004
- 0_5
-
Title - The 24th International Conference on Distributed Computing Systems Workshop| 2004
- 0_6
-
Table of Contents| 2004
- 0_16
-
Message from the Workshops Co-Chairs| 2004
- 0_17
-
Message from the MNSA ChairsJianhua Ma, / Shibata, Y. / Qun Jin, / Hui-huang Hsu, et al. | 2004
- 0_18
-
Message from the DARES ChairAksit, M. et al. | 2004
- 0_19
-
Message from the IWSAWC ChairTobe, Y. et al. | 2004
- 0_20
-
Message from the MDC ChairsDas, S. / Jie Wu, / Jiannong Cao, / Guohong Cao, / Weijia Jia, et al. | 2004
- 0_21
-
Message from the ADSN ChairsMori, K. / Kakuda, Y. et al. | 2004
- 0_22
-
Message from the WWAN ChairSimplot, D. / Stojmenovic, I. et al. | 2004
- 0_23
-
Message from the EC ChairsYang, L.T. / Minyi Guo, et al. | 2004
- 0_24
-
Workshop Committee members| 2004
- 1_6
-
list-reviewer| 2004
- 1_10
-
Author index| 2004
- 4
-
Autonomic group protocol for distributed systemsEnokido, T. / Takizawa, M. et al. | 2004
- 10
-
A new scheduler for AF and EF in a DS nodeLain-Chyr Hwang, / Hsu, S.J. / Cheng-Yuan Ku, / Chun-Shin Jie, et al. | 2004
- 16
-
Extended video stream by media transcoding functionsHashimoto, K. / Shibata, Y. et al. | 2004
- 24
-
A new media access control protocol for single hop WDM networksKoyama, A. / Barolli, L. / Apduhan, B.O. / Miho, R. et al. | 2004
- 30
-
Using metadata in SLA negotiation over premium IP networksD'Antonio, S. / D'Arienzo, M. / Pescape, A. / Romano, S.P. / Ventre, G. et al. | 2004
- 36
-
Performance improvement of TCP Vegas over heterogeneous networksYi-Cheng Chan, / Chia-Tai Chan, / Yaw-Chung Chen, et al. | 2004
- 44
-
Searching restricted documents in a cooperative search engineSato, N. / Udagawa, M. / Uehara, M. / Sakai, Y. et al. | 2004
- 50
-
Construction of the traditional crafting search engine using Kansei information processingMiyakawa, A. / Sugita, K. / Shibata, Y. et al. | 2004
- 56
-
Distributed index updating method for intranet information retrievalUdagawa, M. / Sato, N. / Uehara, M. / Sakai, Y. et al. | 2004
- 64
-
Application level rate adaptive motion-JPEG transmission for medical collaboration systemsNishantha, D. / Hayashida, Y. / Hayashi, T. et al. | 2004
- 70
-
Heterogeneous groups to causally ordered deliveryKawanami, S. / Enokido, T. / Takizawa, M. et al. | 2004
- 78
-
Improving content replication and QoS in distributed peer-to-peer VoD appliancesDitze, M. / Loeser, C. / Altenbernd, P. / Wan, K.H. et al. | 2004
- 85
-
TOMSCOP - a synchronous P2P collaboration platform over JXTAKawashima, T. / Ma, J. et al. | 2004
- 91
-
Proxy-assisted periodic broadcast with multiple serversKusmierek, E. / Du, D.H.C. et al. | 2004
- 98
-
Delayed-duplicated ACK (DDA) algorithm for TCP performance enhancement to overcome packet sequence disruption in fast-handoff of Mobile IPv6Dongwook Lee, / Jong Won Kim, et al. | 2004
- 104
-
Interference on multipath QoS routing for ad hoc wireless networkYing-Hong Wang, / Hung-Zu Lin, / Shu-Min Chang, et al. | 2004
- 112
-
Kansei retrieval method using the quantitative feature of traditional Japanese crafting objectSugita, K. / Ishida, T. / Miyakawa, A. / Shibata, Y. et al. | 2004
- 118
-
A study of shape-based image retrievalHwei-Jen Lin, / Yang-Ta Kao, / Shwu-Huey Yen, / Chia-Jen Wang, et al. | 2004
- 124
-
Video scene determination using audiovisual data analysisSeungmin Rho, / Eenjun Hwang, et al. | 2004
- 130
-
Efficient indexing and retrieval scheme for VRML databaseChing-Sheng Wang, / Jia-Fu Chen, / Lun-Ping Hung, / Chun-Hong Huang, et al. | 2004
- 138
-
On the effect of the handover mechanisms in QoS performance in wireless multimedia networksRisueno, R. / Cuenca, P. / Delicado, F. / Orozco-Barbosa, L. / Garrido, A. et al. | 2004
- 144
-
A timing-based bandwidth allocation protocol for QoS provisioning in multimedia wireless networksJau-Yang Chang, / Hsing-Lung Chen, et al. | 2004
- 150
-
Multimedia wireless interactive and collaborative telecom servicesChoukair, Z. / Takizawa, M. et al. | 2004
- 158
-
On-line advancement of transmission plans in video-on-demandSegarra, J. / Cholvi, V. et al. | 2004
- 164
-
Hierarchical network architecture for layered video streamingPoon, W.-F. / Lo, K.-T. / Feng, J. et al. | 2004
- 170
-
Phantom sources for separation of listening and viewing positions of multipresent avatars in narrowcasting collaborative virtual environmentsFernando, O.N.N. / Adachi, K. / Cohen, M. et al. | 2004
- 178
-
A maximum a posteriori identification criterion for wavelet domain watermarkingMing, N.T. / Garg, H.K. et al. | 2004
- 184
-
DCT and DWT-based image watermarking by using subsamplingMin-Jen Tsai, / Hsiao-Ying Hung, et al. | 2004
- 190
-
High probability impulsive noise removal for corrupted imagesJu-Yuan Hsiao, / Shu-Yi Chen, et al. | 2004
- 196
-
Audio streaming over Bluetooth: an adaptive ARQ timeout approachChen, L.-J. / Kapoor, R. / Lee, K. / Sanadidi, M.Y. / Gerla, M. et al. | 2004
- 202
-
MPML-FLASH: a multimodal presentation markup language with character agent control in Flash mediumZhenglu Yang, / Ishizuka, M. et al. | 2004
- 208
-
A gaze and speech multimodal interfaceZhang, Q. / Imamiya, A. / Mao, X. / Go, K. et al. | 2004
- 216
-
Quality driven Web services in mobile computingYounas, M. / Chao, K.-M. / Griffiths, N. / Anane, R. / Awan, I. et al. | 2004
- 222
-
A mobile negotiation agent embedded hybrid online purchasing systemHuang, R. / Yamazaki, T. / Ma, J. et al. | 2004
- 228
-
An agent-based consumer recommendation mechanismYing-Hong Wang, / Ren-Junn Hwang, / Wen-Nan Wang, et al. | 2004
- 236
-
Probabilistic multilateral security model for ubiquitous multimedia servicesKaneko, I. / Shirai, K. / Neergaard, M.O. et al. | 2004
- 242
-
Exploiting spatiality, motility and interactivity: a relationship-centric Flash retrieval modelBo Feng, / Qing Li, / Dawei Ding, / Liu Wenyin, et al. | 2004
- 248
-
Significant scene extraction method using situation importanceHashimoto, T. / Katooka, T. / Iizawa, A. / Kitagawa, H. et al. | 2004
- 254
-
Motion retrieval and its application to motion synthesisShih-Pin Chao, / Chih-Yi Chiu, / Jui-Hsiang Chao, / Shi-Nine Yang, / Lin, T.-K. et al. | 2004
- 262
-
A cognition assessment authoring system for e-learningHung, J.C. / Lin, L.J. / Wen-Chih Chang, / Shih, T.K. / Hui-huang Hsu, / Han-Bin Chang, / Hsuan-Pu Chang, / Kuan-Hao Huang, et al. | 2004
- 268
-
Using VR technology to support e-learning: the 3D virtual radiopharmacy laboratoryAlexiou, A. / Bouras, C. / Giannaka, E. / Kapoulas, V. / Nani, M. / Tsiatsos, T. et al. | 2004
- 274
-
Pocket SCORMLin, N.H. / Shih, T.K. / Hui-huang Hsu, / Hsuan-Pu Chang, / Han-Bin Chang, / Wen Chieh Ko, / Lin, L.J. et al. | 2004
- 280
-
A multimedia environment for supporting the teaching of robotics systemsFreire, J.C. / de Lima, J.V. / Neves, R.A. / de Sena, G.J. et al. | 2004
- 290
-
Dynamic service adaptationHirschfeld, R. / Kawamura, K. et al. | 2004
- 298
-
The GRAVA self-adaptive architecture: history; design; applications; and challengesRobertson, P. / Laddaga, R. et al. | 2004
- 304
-
Towards a context-driven development framework for ambient intelligenceWagelaar, D. et al. | 2004
- 310
-
System imposed and application compliant adaptationsRen, S. / Beckman, M. / Elrad, T. et al. | 2004
- 320
-
Supporting adaptable distributed systems with FORMAwareMoreira, R.S. / Blair, S. / Carrapatoso, E. et al. | 2004
- 326
-
A framework for evolutionary, dynamically updatable, component-based systemsBialek, R. / Jul, E. et al. | 2004
- 332
-
Perimorph: run-time composition and state management for adaptive systemsKasten, E.P. / McKinley, P.K. et al. | 2004
- 340
-
Performance analysis of adaptive consensus protocols based on slowness oraclesSampaio, L.M.R. / Brasileiro, F.V. / Moreira, A.L.C. et al. | 2004
- 347
-
Adapting distributed voting algorithms for secure real-time embedded systemsRavindran, K. / Kwiat, K.A. / Sabbir, A. et al. | 2004
- 354
-
Timeliness in auto-adaptive distributed systemsPal, P. / Schantz, R.E. / Loyall, J.P. et al. | 2004
- 362
-
Design, implementation and validation of a generic and reconfigurable protocol stack framework for mobile terminalsScholer, T. / Muller-Schloer, C. et al. | 2004
- 368
-
A framework for dynamically adaptive applications in a self-organized mobile network environmentMukhija, A. / Glinz, M. et al. | 2004
- 375
-
A re-configurable component model for programmable nodesUeyama, J. / Schmid, S. / Coulson, G. / Blair, G.S. / Gomes, A.T. / Joolia, A. / Lee, K. et al. | 2004
- 384
-
System design of event space information support utilizing CoBITsNishimura, T. / Nakamura, Y. / Itoh, H. / Nakashima, H. et al. | 2004
- 388
-
DigiClip: activating physical documentsDecker, C. / Beigl, M. / Eames, A. / Kubach, U. et al. | 2004
- 394
-
An extensible browser architecture for mobile terminalsSaida, Y. / Chishima, H. / Hieda, S. / Sato, N. / Nakamoto, Y. et al. | 2004
- 402
-
Aware-mail: an event-driven mail system for wearable computing environmentsMiura, N. / Miyamae, M. / Terada, T. / Tsukamoto, M. / Nishio, S. et al. | 2004
- 408
-
Eventcasting with a wearable computerDrugge, M. / Nilsson, M. / Synnes, K. / Parnes, P. et al. | 2004
- 414
-
Developing a GIS using a mobile phone equipped with a camera and a GPS, and its exhibitionsUeda, N. / Nakanishi, Y. / Matsukawa, S. / Motoe, M. et al. | 2004
- 418
-
A message proliferation system using short-range wireless devicesYamauchi, Y. / Saito, H. / Tobe, Y. et al. | 2004
- 424
-
Experiences with building distributed middleware for home computing on commodity softwareNakajima, T. / Oikawa, S. / Ishikawa, H. / Iwasaki, K. / Sugaya, M. et al. | 2004
- 430
-
Gaia mobility: extending active space boundaries to everyday devicesBresler, J. / Al-Muhtadi, J. / Campbell, R. et al. | 2004
- 434
-
Middleware providing group communication facility based on multi-way synchronization for cellular phone applicationsNishigaki, K. / Yasumoto, K. / Umedu, T. / Higashino, T. / Ito, M. et al. | 2004
- 438
-
Utilizing XML-RPC or SOAP on an embedded systemDissanaike, S. / Wijkman, P. / Wijkman, M. et al. | 2004
- 442
-
A general architecture for wireless sensor networks: first stepsHurler, B. / Hof, H.-J. / Zitterbart, M. et al. | 2004
- 445
-
Experiences with building sentient materials using various sensorsYamabe, T. / Fujinami, K. / Nakajima, T. et al. | 2004
- 451
-
Modular sensor architecture for unobtrusive routine clinical diagnosisCrowe, J. / Hayes-Gill, B. / Sumner, M. / Barratt, C. / Palethorpe, B. / Greenhalgh, C. / Storz, O. / Friday, A. / Humble, J. / Setchell, C. et al. | 2004
- 458
-
Log-structured storage for efficient weakly-connected replicationHupfeld, F. et al. | 2004
- 464
-
Designing a video data management system for monitoring cameras with intuitive interfaceWang, Y. / Hijikata, Y. / Nishida, S. et al. | 2004
- 470
-
Indexing continual range queries with covering tiles for fast locating of moving objectsKun-Lung Wu, / Shyh-Kwei Chen, / Yu, P.S. et al. | 2004
- 478
-
An efficient scheduling method for query-set-based broadcasting in mobile environmentsYe-In Chang, / Wu-Han Hsieh, et al. | 2004
- 484
-
Using lock-based checking protocol for efficient data broadcast in mobile environmentsWong, A.C.S. / Kwok-Wa Lam, / Ho, K.K.M. / Lee, V.C.S. et al. | 2004
- 490
-
Correct execution of continuous monitoring queries in wireless sensor systemsKam-Yiu Lam, / Henry Chi-Wai Pang, et al. | 2004
- 498
-
A system architecture for seamless navigationHosokawa, Y. / Takahashi, N. / Taga, H. et al. | 2004
- 505
-
A multi-channel MAC protocol using maximal matching for ad hoc networksSheng-Hsuan Hsu, / Ching-Chi Hsu, / Shun-Shii Lin, / Ferng-Ching Lin, et al. | 2004
- 511
-
Price-based channel time allocation in wireless LANsShah, S.H. / Nahrstedt, K. et al. | 2004
- 520
-
A light-weight component model for peer-to-peer applicationsFerscha, A. / Hechinger, M. / Mayrhofer, R. / Oberhauser, R. et al. | 2004
- 528
-
Peer-to-peer cooperative caching in mobile environmentsChi-Yin Chow, / Hong Va Leong, / Alvin Chan, et al. | 2004
- 534
-
Jelly: a dynamic hierarchical P2P overlay network with load balance and localityHsiao, R. / Sheng-De Wang, et al. | 2004
- 542
-
MobileScope: a programming language with objective mobilityMasuyama, T. / Peschanski, F. / Oyama, Y. / Yonezawa, A. et al. | 2004
- 548
-
A reliable and secure connection migration mechanism for mobile agentsZhong, X. / Xu, C.-Z. / Shen, H. et al. | 2004
- 554
-
Decomposition of fundamental problems for cooperative autonomous mobile systemsSouissi, S. / Defago, X. / Katayama, T. et al. | 2004
- 562
-
A method for selecting output data from ubiquitous terminals in a ubiquitous computing environmentUemukai, T. / Hara, T. / Nishio, S. et al. | 2004
- 568
-
A metadata-based approach to personalized mobile resource sharingJian Zhai, / Qing Li, / Xiang Li, / Lu Wenyin, et al. | 2004
- 574
-
Large-scale location estimation over GSM networks: the gear approachWong, W.H. / Ng, J.K. / Leung, K.R.P.H. et al. | 2004
- 582
-
Trust- and clustering-based authentication services in mobile ad hoc networksNgai, E.C.H. / Lyu, M.R. et al. | 2004
- 588
-
Ant-based adaptive trust evidence distribution in MANETJiang, T. / Baras, J.S. et al. | 2004
- 598
-
Performance study of node placement in sensor networksIshizuka, M. / Aida, M. et al. | 2004
- 604
-
TDMA service for sensor networksKulkarni, S.S. et al. | 2004
- 610
-
An adaptive automobile control system using scheduling by imprecise computation and multiagent-based traffic information exchange and its experimental evaluationOka, T. / Inoue, S. / Kakuda, Y. et al. | 2004
- 618
-
A fault-injection attack on Fiat-Shamir cryptosystemsVoyiatzis, A.G. / Serpanos, D.N. et al. | 2004
- 622
-
Deductive verification of probabilistic real-time systemsYamane, S. et al. | 2004
- 628
-
Finding a recovery line in uncoordinated checkpointingOhara, M. / Arai, M. / Fukumoto, S. / Iwasaki, K. et al. | 2004
- 636
-
Heterogeneous building automation and IP networks managementGiladi, R. et al. | 2004
- 642
-
Diffusion-type autonomous decentralized flow control for open networksTakano, C. / Aida, M. et al. | 2004
- 648
-
Improvements on block size control method for adaptive parallel downloadingFunasaka, J. / Nagayasu, K. / Ishida, K. et al. | 2004
- 656
-
Agent-based rating oriented information provision and for high-assurance in open and dynamic environmentsLu, X. / Zhou, Y. / Mori, K. / Takanuki, R. / Kuba, Y. et al. | 2004
- 662
-
Autonomous distributed service system implementationIqbal, K. / Ahmad, H.F. / Ali, A. / Suguri, H. / Jamshed, M. et al. | 2004
- 668
-
Autonomous and proactive adjustment of update allowance in autonomous decentralized database systemKaji, I. et al. | 2004
- 678
-
Evaluations of a directional MAC protocol for ad hoc networksNagashima, K. / Takata, M. / Watanabe, T. et al. | 2004
- 684
-
Evaluation of packet latency and fluctuation during UDP packet exchange in ad hoc wireless groupsItaya, S. / Kosuga, M. / Davis, P. et al. | 2004
- 690
-
Enhanced routing-aware adaptive MAC with traffic differentiation and smoothed contention window in wireless ad-hoc networksNait-Abdesselam, F. / Koubaa, H. et al. | 2004
- 698
-
AODV routing protocol implementation designChakeres, I.D. / Belding-Royer, E.M. et al. | 2004
- 704
-
OLSR performance measurement in a military mobile ad-hoc networkPlesse, T. / Lecomte, J. / Adjih, C. / Badel, M. / Jacquet, P. / Laouiti, A. / Minet, P. / Muhlethaler, P. / Plakoo, A. et al. | 2004
- 710
-
Position-based routing for heterogeneous wireless ad hoc networksMoaveninejad, K. / Song, W.-Z. / Li, X.-Y. et al. | 2004
- 718
-
Construction of power efficient routing tree for ad hoc wireless networks using directional antennaDai, Q. / Wu, J. et al. | 2004
- 723
-
Power-aware on-demand routing protocol for MANETWang Kun, / Xu Yin-Long, / Chen Guo-Liang, / Wu Ya-Feng, et al. | 2004
- 729
-
Energy consumption speed-based routing for mobile ad hoc networksRomdhani, L. / Bonnet, C. et al. | 2004
- 736
-
Mobile Internet access in BASLi, T. / Mien, C.K. / Arn, J.L.S. / Seah, W. et al. | 2004
- 742
-
Bluetooth master/slave bridge scheduling with and without rendezvous pointsMisic, J. / Misic, V.B. et al. | 2004
- 748
-
An ad-hoc routing protocol in hybrid wireless networks for emergency communicationsFujiwara, T. / Iida, N. / Watanabe, T. et al. | 2004
- 756
-
Limitations of equation-based congestion control in mobile ad hoc networksChen, K. / Nahrstedt, K. et al. | 2004
- 762
-
Bandwidth reservation in multihop wireless networks: complexity and mechanismsGeorgiadis, L. / Jacquet, P. / Mans, B. et al. | 2004
- 768
-
A validation model for the DSR protocolCavalli, A. / Grepet, C. / Maag, S. / Tortajada, V. et al. | 2004
- 776
-
Performance of H.264 compressed video streams over 802.11b based MANETsCalafate, C.T. / Malumbres, M.P. / Manzoni, P. et al. | 2004
- 782
-
Deploying localization services in wireless sensor networksAnlauff, M. / Sunbul, A. et al. | 2004
- 788
-
Content-based routing with on-demand multicastYoneki, E. / Bacon, J. et al. | 2004
- 796
-
Scalable cryptographic key management in wireless sensor networksWadaa, A. / Olariu, S. / Wilson, L. et al. | 2004
- 803
-
Cooperation issues in mobile ad hoc networksConti, M. / Gregori, E. / Maselli, G. et al. | 2004
- 809
-
Secure hosts auto-configuration in mobile ad hoc networksCavalli, A. / Orset, J.-M. et al. | 2004
- 818
-
Hardware-software co-design of resource constrained systems on a chipThepayasuwan, N. / Doboli, A. et al. | 2004
- 824
-
Towards a higher level of abstraction in hardware/software co-simulationAbdElSalam, H.M. / Kobayashi, S. / Sakanushi, K. / Takeuchi, Y. / Imai, M. et al. | 2004
- 831
-
Development methodology of ASIP based on Java byte code using HW/SW co-design system for processor designYanagisawa, H. / Uehara, M. / Mori, H. et al. | 2004
- 838
-
A systemC-based modular design and verification framework for C-model reuse in a HW/SW-codesign design flowBlaurock, O. et al. | 2004
- 846
-
A time Petri net approach for finding preruntime schedules in embedded hard real-time systemsBarreto, R. / Cavalcante, S. / Maciel, P. et al. | 2004
- 852
-
Scheduling communication-aware tasks on distributed heterogeneous computing systemsGuan-Joe Lai, et al. | 2004
- 858
-
A scheduling algorithm to optimize real-world applicationsSolar, M. / Inostroza, M. et al. | 2004
- 864
-
CODACS prototype: CHIARA language and its compilerVerdoscia, L. / Danelutto, M. / Esposito, R. et al. | 2004
- 871
-
Multiobjective design of embedded processors on FPGA platformsGhali, K. / Hammami, O. / Hermann, I. et al. | 2004
- 876
-
On the design of a self-reconfigurable SoPC cryptographic engineTyrone Tai-On Kwok, / Yu-Kwong Kwok, et al. | 2004
- 884
-
Incorporating timeliness in atomic write of shared data for distributed embedded systemsRavindran, K. / Sabbir, A. / Kwiat, K.A. et al. | 2004
- 890
-
Leakage energy reduction in register renamingGoto, M. / Sato, T. et al. | 2004
- 896
-
An enhanced buffer management scheme for fast handover protocolWei-Min Yao, / Yaw-Chung Chen, et al. | 2004
-
Proceedings. 24th International Conference on Distributed Computing System Workshops| 2004