726-027: On Property-based Attestation (English)
- New search for: Li, S.-J.
- New search for: He, Y.-P.
- New search for: Li, S.-J.
- New search for: He, Y.-P.
- New search for: Clarke, P.J.
- New search for: Gonzalez, T.
- New search for: Singh, G.
In:
International conferences on informatics
;
527-532
;
2010
-
ISBN:
- Conference paper / Print
-
Title:726-027: On Property-based Attestation
-
Contributors:Li, S.-J. ( author ) / He, Y.-P. ( author ) / Clarke, P.J. / Gonzalez, T. / Singh, G. / International Association of Science and Technology for Development
-
Conference:International conferences on informatics ; 2010 ; Marina del Rey, CA
-
Published in:International conferences on informatics ; 527-532
-
Publisher:
- New search for: ACTA Press
-
Place of publication:Anaheim
-
Publication date:2010-01-01
-
Size:6 pages
-
Remarks:Includes bibliographical references and indexes
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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.
- 1
-
724-064: Exact Inference on Manycore Processors using Pointer JumpingMa, N. / Xia, Y. / Prasanna, V. / International Association of Science and Technology for Development et al. | 2010
- 9
-
724-059: Parallel Application Communication Performance on Multi-Core High Performance Computing SystemsVeeraraghavan, P.P. / Evans, J.J. / International Association of Science and Technology for Development et al. | 2010
- 17
-
724-057: Multithreading Bioinformatics Software with OpenMP: SNPHAP Case StudyRanok, U. / Kittitornkun, S. / Tongsima, S. / International Association of Science and Technology for Development et al. | 2010
- 25
-
724-028: Comparing Intra- and Inter-Processor Parallelism on Multi-Core CellBE Processors for Scientific SimulationsHawick, K.A. / Leist, A. / Playne, D.P. / Johnson, M.J. / International Association of Science and Technology for Development et al. | 2010
- 32
-
724-027: Proposal of Thread Virtualization Environment for Cell Broadband EngineYamada, M. / Nishikawa, Y. / Yoshimi, M. / Amano, H. / International Association of Science and Technology for Development et al. | 2010
- 40
-
724-013: Energy Consumption of GPU with Molecular DynamicsUdagawa, T. / Sekijima, M. / International Association of Science and Technology for Development et al. | 2010
- 45
-
724-008: A 3D Solid Texture Feature Computation Method using Multi-Core CPU ArchitecturesSuzuki, M.T. / Yaginuma, Y. / Kodama, H. / International Association of Science and Technology for Development et al. | 2010
- 51
-
Estimation of ad-hoc network topology based on neighbor relations among wireless nodesItoh, Kei / Higaki, Hiroaki et al. | 2010
- 51
-
724-029: Estimation of Ad-Hoc Network Topology based on Neighbor Relations among Wireless NodesItoh, K. / Higaki, H. / International Association of Science and Technology for Development et al. | 2010
- 59
-
724-053: Extending CAODV to Accommodate Mobility Management of Participating Devices in MANETsRoy, M. / Das, T. / Roy, S. / Mukherjee, N. / International Association of Science and Technology for Development et al. | 2010
- 67
-
724-035: Low Overhead Multicast Routing Protocol in MANETs with Uni-Directional LinksSuzuki, K. / Higaki, H. / International Association of Science and Technology for Development et al. | 2010
- 74
-
724-021: Cross Domain QoS Mapping between WMN and Fixed Topology for End-to-End QoS GuaranteeJabeen, H. / Rehman, M.u. / Bano, M. / International Association of Science and Technology for Development et al. | 2010
- 74
-
Cross domain QoS mapping between WMN and fixed topology for end-to-end QoS guaranteeJabeen, Humaira / Rehman, Mata ur / Bano, Muneera et al. | 2010
- 81
-
724-047: Lower Overhead Location Advertisement in Mobile Wireless Multihop NetworksOneda, R. / Higaki, H. / International Association of Science and Technology for Development et al. | 2010
- 88
-
724-020: An Agent Execution Control Method for Content-based Information Retrieval with Time ConstraintsNarishige, A. / Hara, Y. / Kinoshita, K. / Murakami, K. / Yamai, N. / International Association of Science and Technology for Development et al. | 2010
- 96
-
724-009: Investigating the 2-Way Semijoin for Distributed Query OptimizationSubhani, N. / Morrissey, J. / International Association of Science and Technology for Development et al. | 2010
- 103
-
724-019: Eventually Consistent TransactionKobashi, H. / Yamane, Y. / Murata, M. / Saeki, T. / Moue, H. / Tsuchimoto, Y. / International Association of Science and Technology for Development et al. | 2010
- 110
-
724-006: ECLIPS, A Distributed Data Space with Induced Structure and Capability-based ProtectionBoasson, E. / International Association of Science and Technology for Development et al. | 2010
- 119
-
724-025: Detecting Game Bots with Encrypted Game TrafficLu, Y. / Zhu, Y. / Itomlenskis, M. / Vyaghri, S. / Fu, H. / International Association of Science and Technology for Development et al. | 2010
- 127
-
724-060: An Efficient Parallel Algorithm for Skein Hash FunctionsAtighehchi, K. / Enache, A. / Muntean, T. / Riserucci, G. / International Association of Science and Technology for Development et al. | 2010
- 137
-
724-062: Adaptive Transfer Adjustment in Efficient Bulk Data Transfer Management for Climate DatasetsSim, A. / Balman, M. / Williams, D. / Shoshani, A. / Natarajan, V. / International Association of Science and Technology for Development et al. | 2010
- 145
-
724-054: Utilizing PAPI Features for Resource Requirement Prediction in Grid EnvironmentSarkar, M. / Roy, S. / Mukherjee, N. / International Association of Science and Technology for Development et al. | 2010
- 153
-
724-014: Efficient Implementation of Large-Scale Workflows based on Array ContractionOhno, K. / Mita, A. / Matsumoto, M. / Sasaki, T. / Kondo, T. / Nakashima, H. / International Association of Science and Technology for Development et al. | 2010
- 163
-
Dynamic rescheduling scheme for large-scale workflowsMatsumo, Masaki / Ohno, Kazuhiko / Sasaki, Takahiro / Kondo, Toshio / Nakashima, Hiroshi et al. | 2010
- 163
-
724-052: Dynamic Rescheduling Scheme for Large-Scale WorkflowsMatsumoto, M. / Ohno, K. / Sasaki, T. / Kondo, T. / Nakashima, H. / International Association of Science and Technology for Development et al. | 2010
- 172
-
724-051: An Application of Bayesian Theorem for Optimal Replica Placement in Data GridsAmjad, T. / Alam, M. / International Association of Science and Technology for Development et al. | 2010
- 178
-
724-012: Feedback-Control based Real-Time Divisible Load SchedulingMamat, A. / Lu, Y. / Deogun, J. / Goddard, S. / International Association of Science and Technology for Development et al. | 2010
- 186
-
724-030: Constructing a Flexible Internet-Scale Time-Sharing System using Deterministic CheckpointingBeberg, A.L. / Pande, V.S. / International Association of Science and Technology for Development et al. | 2010
- 193
-
724-048: DADS: A Dynamic and Adaptive Data Space for Interacting Parallel ApplicationsZhang, F. / Docan, C. / Parashar, M. / Klasky, S. / International Association of Science and Technology for Development et al. | 2010
- 202
-
724-011: Thread-Level Automatic Parallelization in the Elbrus Optimizing CompilerMukhanov, L. / Ilyin, P. / Ermolitsky, A. / Grabezhnoy, A. / Shlykov, S. / Breger, A. / International Association of Science and Technology for Development et al. | 2010
- 210
-
724-031: Using Virtualization to Validate Fault-Tolerant Distributed SystemsHsu, I. / Gallagher, A. / Le, M. / Tamir, Y. / International Association of Science and Technology for Development et al. | 2010
- 218
-
724-024: A Decentralised Synchronisation Approach for Complex Hierarchical Models of Virtual WorldsFarooq, U. / Glauert, J. / International Association of Science and Technology for Development et al. | 2010
- 226
-
724-063: Architecting an Object Recognition System using Parallel Design PatternsBrutch, T.G. / Su, B.-Y. / International Association of Science and Technology for Development et al. | 2010
- 234
-
724-023: A Software Implementation of a Cycle Precision Simulator of a Multiple Associative ModelChantamas, W. / Baker, J.W. / International Association of Science and Technology for Development et al. | 2010
- 242
-
724-026: A Framework for Developing Parallel Optimization AlgorithmsRibas, S. / de P. Perche, M.H. / Coelho, I.M. / Munhoz, P.L.A. / Souza, M.J.F. / Aquino, A.L.L. / International Association of Science and Technology for Development et al. | 2010
- 250
-
724-017: Real Time Edge Detection using Three Dimensional Systolic ArrayTamer, O. / Ronningen, L.A. / Panggabean, M. / International Association of Science and Technology for Development et al. | 2010
- 256
-
724-033: A Firefly Algorithm-based Approach for Scheduling Task Graphs in Homogeneous SystemsHonig, U. / International Association of Science and Technology for Development et al. | 2010
- 264
-
724-015: Speed-Up of SAR Image Formation Processing using Graphics Processing UnitsSato, H. / Takase, S. / Ozaki, A. / Wakayama, T. / International Association of Science and Technology for Development et al. | 2010
- 271
-
724-045: Implementation of a Multithreaded Branch and Bound Algorithm for Permutation Flowshop ProblemsChung, C.-S. / Flynn, J. / Sang, J. / International Association of Science and Technology for Development et al. | 2010
- 278
-
724-003: Selection of Switching Sites in All-Optical Network Topology DesignSaha, S. / Manley, E.D. / Deogun, J.S. / International Association of Science and Technology for Development et al. | 2010
- 285
-
724-004: Design of an All-Optical WDM Lightpath ConcentratorSaha, S. / Manley, E.D. / Deogun, J.S. / International Association of Science and Technology for Development et al. | 2010
- 289
-
724-018: Node-to-Set Disjoint Paths Routing in MetacubeBossard, A. / Kaneko, K. / Peng, S. / International Association of Science and Technology for Development et al. | 2010
- 297
-
Direct inter-node communication between vector units of a Cell BE clusterGweth, Yannick L. / Lankes, Stefan / Bemmerl, Thomas et al. | 2010
- 297
-
724-055: Direct Inter-Node Communication between Vector Units of a Cell BE ClusterGweth, Y.L. / Lankes, S. / Bemmerl, T. / International Association of Science and Technology for Development et al. | 2010
- 304
-
724-010: A Node State Control System for a Low Power Hetero-ClusterHayakawa, K. / Harada, M. / International Association of Science and Technology for Development et al. | 2010
- 312
-
Tutorial Summary: The Power of Regular Expressions in the Software Development ProcessSchmidt, A. / Kimmig, D. / International Association of Science and Technology for Development et al. | 2010
- 317
-
725-046: Booting from Smart Card based Secure USB TokensLutostanski, G. / Ali, A.M. / International Association of Science and Technology for Development et al. | 2010
- 325
-
725-048: A Software Protection Method based on Time-Sensitive Code and Self-Modification MechanismKanzaki, Y. / Monden, A. / International Association of Science and Technology for Development et al. | 2010
- 332
-
725-069: Spider-QA: A Systematic Approach for Quality Assurance ProcessTeles, M.P. / Oliveira, S.R.B. / International Association of Science and Technology for Development et al. | 2010
- 340
-
725-033: Regression Testing of Web Applications using FSMWeb FSMWebAndrews, A. / Azghandi, S. / Pilskalns, O. / International Association of Science and Technology for Development et al. | 2010
- 350
-
725-045: Formal Verification of Lack of Existence of Illegal Scenarios in the Requirements of Distributed SystemsMoshirpour, M. / Far, B.H. / International Association of Science and Technology for Development et al. | 2010
- 357
-
725-054: A Fair Agent Scheduling Method Considering Individual Time Constraint for Content-based Information RetrievalMorishita, M. / Hara, Y. / Kinoshita, K. / Murakami, K. / Yamai, N. / International Association of Science and Technology for Development et al. | 2010
- 364
-
725-058: Automatic Generation of ESB Configuration File from Extended BPELJongtaveesataporn, A. / Takada, S. / International Association of Science and Technology for Development et al. | 2010
- 373
-
725-066: An Extension of an Environment for Building/using Ontologies ``Hozo'' toward Practical Ontology EngineeringOhta, M. / Kozaki, K. / Mizoguchi, R. / International Association of Science and Technology for Development et al. | 2010
- 380
-
725-041: The Grayout Application: Exposing Relevant Information in a News Web PageObradovic, M. / Hoffman, M. / International Association of Science and Technology for Development et al. | 2010
- 388
-
725-003: CAMF - Context-Aware Machine Learning Framework for AndroidWang, A.I. / Ahmad, Q.K. / International Association of Science and Technology for Development et al. | 2010
- 396
-
725-052: A Media-Mashup Engine with Interactive Cross-Media Association and Personalization MechanismsFukai, H. / Ichinose, A. / Kurabayashi, S. / Kiyoki, Y. / International Association of Science and Technology for Development et al. | 2010
- 404
-
725-009: Evaluation of a Social Multiplayer Game Featuring Multimodal InteractionWang, A.I. / Follesdal, E.A. / International Association of Science and Technology for Development et al. | 2010
- 412
-
725-022: Processing Predictions through Embedded SimulationDeKeyrel, J. / International Association of Science and Technology for Development et al. | 2010
- 419
-
725-078: Data Processing on Executable Data Representation with an Aspect WeaverMaeda, K. / International Association of Science and Technology for Development et al. | 2010
- 427
-
725-068: Knowledge Base-Centric Customization Approach for Different Software Product LinesLu, X. / Yin, J. / Yin, Y. / Deng, S. / Luo, S. / International Association of Science and Technology for Development et al. | 2010
- 435
-
725-044: Imagination-based Image Search System with Dynamic Query Creation and its ApplicationNguyen, D.T.N. / Sasaki, S. / Kiyoki, Y. / International Association of Science and Technology for Development et al. | 2010
- 443
-
725-061: MarlinDB - A High-Speed, Scalable, Distributed DatabaseRosoiu, I. / Crivat, T. / International Association of Science and Technology for Development et al. | 2010
- 451
-
725-024: Composing Objects in Open Contexts using Dynamic LinksRytter, M. / Jorgensen, B.N. / International Association of Science and Technology for Development et al. | 2010
- 460
-
725-027: A Programming Environment Consisting of Web ServicesNakatani, K.-i. / Omori, T. / Maruyama, K. / International Association of Science and Technology for Development et al. | 2010
- 468
-
725-060: Composing Non-Functional Concerns with Use Cases for Trade-off AnalysisLaurito, A.M. / Takada, S. / International Association of Science and Technology for Development et al. | 2010
- 477
-
725-063: Effects of Source Code Regularity on Software Maintainability: An Empirical StudyGhazarian, A. / International Association of Science and Technology for Development et al. | 2010
- 487
-
725-073: Requirements Changes Rework Effects: A Case StudyChua, B.B. / International Association of Science and Technology for Development et al. | 2010
- 494
-
725-019: A Unified Approach to Feature-Centric Analysis of Object-Oriented SoftwareOlszak, A. / Jorgensen, B.N. / International Association of Science and Technology for Development et al. | 2010
- 504
-
726-005: Computer Network Security Event-Ranking using a Fuzzy Risk Analysis ApproachDondo, M. / International Association of Science and Technology for Development et al. | 2010
- 512
-
726-020: MiND: Misdirected DNS Packet DetectorYadav, S. / Reddy, A.L.N. / International Association of Science and Technology for Development et al. | 2010
- 520
-
726-019: Secure Satellite Communications in Network Centric OperationsBarbulescu, S.A. / Ngo, N.H. / Barbulescu, O.C. / International Association of Science and Technology for Development et al. | 2010
- 527
-
726-027: On Property-based AttestationLi, S.-J. / He, Y.-P. / International Association of Science and Technology for Development et al. | 2010
- 533
-
726-008: A Modified Butterfly-Graph based Hash-Chaining Scheme Providing Partial AuthenticationMiller, D. / Ahmadzadeh, A.S. / Agnew, G. / International Association of Science and Technology for Development et al. | 2010
- 542
-
726-026: Implementation of Bytecode-based Software Watermarking for Java ProgramsChen, J. / Wang, C. / Shi, Q. / Lv, G. / International Association of Science and Technology for Development et al. | 2010
- 548
-
726-023: Digital Signature Web Service using Smart CardsLu, H.K. / Sachdeva, K. / International Association of Science and Technology for Development et al. | 2010
- 556
-
726-010: Face Classification using Optimum Features of LPWT Face ImagesKato, N. / Wada, S. / International Association of Science and Technology for Development et al. | 2010
- 562
-
726-022: Distributed Authenticated B^+-Tree^* for P2P StorageXu, J. / Zhang, B. / Liu, J. / Li, F. / International Association of Science and Technology for Development et al. | 2010
- 568
-
726-021: Four-Party Password-based Authenticated Key Exchange ProtocolZhou, F. / Xu, J. / Zhou, E. / Zhang, B. / International Association of Science and Technology for Development et al. | 2010
- 573
-
726-024: An Access Control Model based on Language Theory for Service Oriented ArchitectureDara, A. / Aliee, F.S. / Mehregan, P. / International Association of Science and Technology for Development et al. | 2010
- 581
-
726-009: Trust-based Packet Transfer in Wireless Sensor NetworksReddy, Y.B. / Selmic, R. / International Association of Science and Technology for Development et al. | 2010
- 588
-
727-001: Interface and Packaging of a Portable Autonomous Mulitsensory Intervention Device (PAMID)Riley-Doucet, C. / Qu, H. / Rajasekaran, S. / Luteran, C. / International Association of Science and Technology for Development et al. | 2010
- 595
-
727-004: Health Recommendation System based on Cellular Network in a Secure WayRodriguez, D.Z. / Rosa, R.L. / Souza, J. / International Association of Science and Technology for Development et al. | 2010
- 601
-
727-006: The Economics of Spectrum Allocation for Personal Communications Services DevicesTiedemann, K.H. / International Association of Science and Technology for Development et al. | 2010
- 607
-
727-011: An Empirical Analysis of the Demand for Wireless Services in the OECD CountriesTiedemann, K.H. / International Association of Science and Technology for Development et al. | 2010
- 613
-
727-002: D.I.P. - A Digital Interactive Pinboard with Support for Smart Device InteractionThelen, S. / Cernea, D. / Olech, P.-S. / Kerren, A. / Ebert, A. / International Association of Science and Technology for Development et al. | 2010
- 620
-
727-003: Porting the Google Android Mobile Operating System to Legacy HardwareJohnson, M. / Hawick, K. / International Association of Science and Technology for Development et al. | 2010