People
Real Intent Appoints Craig Cochran as Vice President of Marketing and Business Development :
Real Intent Appoints Craig Cochran as Vice President of Marketing and Business Development : Electronics News from Electronic Specifier
Linux with TCPA Integrity Measurement
January 28, 2003 RT0507 Security 6 pages Research Report Linux with TCPA Integrity Measurement Hiroshi Maruyama, Taiga Nakamura, Seiji Munetoh, Yoshiaki Funaki, Yuhji Yamashita IBM Research, Tokyo Research Laboratory IBM Japan, Ltd. 1623-14 Shimotsuruma, Yamato Kanagawa 242-8502, Japan Research
Reprinted from Vol. 21 1 No. 6 1 November 1977 R. Fagin Functional Dependencies in a Relational...
Reprinted from Vol. 21 1 No. 6 1 November 1977 R. Fagin Functional Dependencies in a Relational Database and Propositional Logic Copyright @ 1977 by International Business Machines Corporation. All rights reserved. Printed in U.S.A. R. Fagin Functional Dependencies in a Relational Database and
October 31, 2006 RT0695 Security 26 pages Research Report WS-Attestation: Enabling Trusted...
October 31, 2006 RT0695 Security 26 pages Research Report WS-Attestation: Enabling Trusted Computing on Web Services Sachiko Yoshihama, Tim Ebringer, Megumi Nakamura, Seiji Munetoh, Takuya Mishina, Hiroshi Maruyama IBM Research, Tokyo Research Laboratory IBM Japan, Ltd. 1623-14 Shimotsuruma, Yamato
Real Intent Welcomes Professor Masahiro Fujita as Technical Advisor : Electronics News from
Real Intent Welcomes Professor Masahiro Fujita as Technical Advisor : Electronics News from Electronic Specifier
TRL | People | Kohji Takano's Page (高野光司のページ）
Skip to main content IBM® United States [ change ] Search for: Home Business solutions IT services Products Support & downloads My IBM IBM Research Tokyo Research Laboratory TRL Researchers Kohji Takano Profile photo image of Kohji
PII: 0890-5401(90)90060-U
INFORMATION AND COMPUTATION 87, 78-128 ( 1990) A Logic for Reasoning about Probabilities* RONALD FAGIN, JOSEPH Y. HALPERN, AND NIMROD MECIDDO IBM Aimuden Research Center, Sun Jose, California 95120 We consider a language for reasoning about probability which allows us to make statements such as
Knowledge and implicit knowledge in a distributed environment: Preliminary Report Ronald Fagin...
Knowledge and implicit knowledge in a distributed environment: Preliminary Report Ronald Fagin Moshe Y.Vardi IBM Almaden Research Center 650 Harry Road San Jose, California 95120-6099 Abstract: We characterize the states of knowledge that are attainable in distributed systems, where
untitled
February 14, 2005 RT0598 Security 8 pages Research Report WS-Attestation: Efficient and Fine-Grained Remote Attestation on Web Services Sachiko Yoshihama, Tim Ebringer, Megumi Nakamura, Seiji Munetoh, Hiroshi Maruyama IBM Research, Tokyo Research Laboratory IBM Japan, Ltd. 1623-14 Shimotsuruma,
Reprinted from Artificial Intelligence Artificial Intelligence 79 (1995) 203-240 A nonstandard...
Reprinted from Artificial Intelligence Artificial Intelligence 79 (1995) 203-240 A nonstandard approach to the logical omniscience problem Ronald Fagin ', Joseph Y. Halpem2, Moshe Y .Vardi IBM Research Division, Almaden Research Center; 650 Harry Road, San Jose, CA 95120-6099, USA Received July
