Author of the publication

Toward Integrated Methods for High-Assurance Systems (Guest Editors' Introduction).

, , and . IEEE Computer, 31 (4): 32-34 (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Systematic Design Method For High Quality Process-Control Systems Development., , and . International Journal of Software Engineering and Knowledge Engineering, 14 (1): 43-59 (2004)M3-Update: A New Update Model for E-Commerce and Web-Based Applications., , , and . I. J. Comput. Appl., 12 (3): 152-162 (2005)Update Propagation Algorithms for Supporting Disconnected Write in Mobile Wireless Systems with Data Broadcasting Capability., , and . Wireless Personal Communications, 34 (3): 227-253 (2005)Replicated Object Management with Periodic Maintenance in Mobile Wireless Systems., , , and . Wireless Personal Communications, 28 (1): 17-33 (2004)Role-based integrated access control and data provenance for SOA based net-centric systems., , , , and . SOSE, page 225-234. IEEE Computer Society, (2011)A Framework for QoS and Power Management in a Service Cloud Environment with Mobile Devices., , , , , , , and . SOSE, page 236-243. IEEE Computer Society, (2010)ROBUST Path Strategy Evaluator., , and . ICTAI, page 567-574. IEEE Computer Society, (2011)The SCIFC Model for Information Flow Control in Web Service Composition., , , and . ICWS, page 1-8. IEEE Computer Society, (2009)Rule-Based Run-Time Information Flow Control in Service Cloud., , , and . ICWS, page 524-531. IEEE Computer Society, (2011)Implementation of a Customizable Fault Tolerance Framework., , , and . ISORC, page 230-239. IEEE Computer Society, (1998)