P. Michael Melliar-Smith

24 papers A 2C 2Misc 1Journal 10Unranked 9
YearRankTypeTitle / Venue / Authors
2014 — conf
Analysis of the match probabilities for the iTrust information network with message forwarding.
ICOIN
Louise E. Moser, P. Michael Melliar-Smith
2014 J jnl
Peer-to-peer publication, search and retrieval using the Android mobile platform.
Comput. Networks
Isai Michel Lombera, Louise E. Moser, P. Michael Melliar-Smith, Yung-Ting Chuang
2013 C conf
A Distributed Ranking Algorithm for the iTrust Information Search and Retrieval System.
WEBIST
Boyang Peng, Louise E. Moser, P. Michael Melliar-Smith, Yung-Ting Chuang, Isai Michel Lombera
2013 J jnl
Toward Trustworthy Coordination of Web Services Business Activities.
IEEE Trans. Serv. Comput.
Hua Chai, Honglei Zhang, Wenbing Zhao, P. Michael Melliar-Smith, Louise E. Moser
2012 — conf
A Mobile Peer-to-Peer Search and Retrieval Service for Social Networks.
IEEE MS
Isai Michel Lombera, Louise E. Moser, P. Michael Melliar-Smith, Yung-Ting Chuang
2012 C conf
Declustering the iTrust Search and Retrieval Network to Increase Trustworthiness.
WEBIST
Christopher M. Badger, Louise E. Moser, P. Michael Melliar-Smith, Isai Michel Lombera, Yung-Ting Chuang
2012 J jnl
Protecting the iTrust Information Retrieval Network against Malicious Attacks.
J. Comput. Sci. Eng.
Yung-Ting Chuang, P. Michael Melliar-Smith, Louise E. Moser, Isai Michel Lombera
2012 J jnl
Trustworthy Coordination of Web Services Atomic Transactions.
IEEE Trans. Parallel Distributed Syst.
Honglei Zhang, Hua Chai, Wenbing Zhao, P. Michael Melliar-Smith, Louise E. Moser
2012 Misc conf
iTrust: Trustworthy Information Publication, Search and Retrieval.
ICDCN
P. Michael Melliar-Smith, Louise E. Moser, Isai Michel Lombera, Yung-Ting Chuang
2011 J jnl
RMR: Reliability Map Routing for Tactical Mobile Ad Hoc Networks.
IEEE J. Sel. Areas Commun.
Amir Aminzadeh Gohari, Ryan Pakbaz, P. Michael Melliar-Smith, Louise E. Moser, Volkan Rodoplu
2008 — conf
A Collaborative Computing Infrastructure based on atom.
CTS
Firat Kart, Louise E. Moser, P. Michael Melliar-Smith
2008 J jnl
Building a Distributed E-Healthcare System Using SOA.
IT Prof.
Firat Kart, Louise E. Moser, P. Michael Melliar-Smith
2008 — conf
Collaborative Computing Using the Atom Publishing Protocol.
ITNG
Firat Kart, Louise E. Moser, P. Michael Melliar-Smith
2007 J jnl
Achieving Atomicity for Web Services Using Commutativity of Actions.
J. Univers. Comput. Sci.
P. Michael Melliar-Smith, Louise E. Moser
2007 J jnl
Building Dependable and Secure Web Services.
J. Softw.
Louise E. Moser, P. Michael Melliar-Smith, Wenbing Zhao
2007 — conf
Reliable Data Distribution and Consistent Data Replication Using the Atom Syndication Technology.
International Conference on Internet Computing
Firat Kart, Louise E. Moser, P. Michael Melliar-Smith
2006 — conf
Speech-Enabled Web Services for Mobile Devices.
SWWS
Michael Hu, Zachary Davis, Shreyas Prasad, Michael Schuricht, P. Michael Melliar-Smith, Louise E. Moser
2001 — conf
An analysis of the optimum node density for ad hoc mobile networks.
ICC
Elizabeth M. Royer, P. Michael Melliar-Smith, Louise E. Moser
1997 — conf
Probabilistic analysis of real-time dependable systems.
WORDS
Louise E. Moser, P. Michael Melliar-Smith, Efstratios Thomopoulos
1997 — conf
Separation of concerns: functionality vs. quality of service.
WORDS
P. Michael Melliar-Smith, Louise E. Moser, Priya Narasimhan
1993 A conf
Really visual temporal reasoning.
RTSS
Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty
1989 A conf
Fault-tolerant distributed systems based on broadcast communication.
ICDCS
P. Michael Melliar-Smith, Louise E. Moser
1985 J jnl
The enhanced HDM system for specification and verification.
ACM SIGSOFT Softw. Eng. Notes
P. Michael Melliar-Smith, John Rushby
1982 J jnl
From State Machines to Temporal Logic: Specification Methods for Protocol Standards.
IEEE Trans. Commun.
Richard L. Schwartz, P. Michael Melliar-Smith