The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mubarak Mohammad" ( http://dblp.L3S.de/Authors/Mubarak_Mohammad )

  Author page on DBLP  Author page in RDF  Community of Mubarak Mohammad in ASPL-2

Publication years (Num. hits)
2007 (1) 2008 (1) 2009 (1) 2010 (1) 2011 (5)
Publication types (Num. hits)
article(1) inproceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mubarak Mohammad, Vangalur S. Alagar A formal approach for the specification and verification of trustworthy component-based systems. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad Specification and Verification of Context-dependent Services Search on Bibsonomy WWV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar An Architecture for Managing and Delivering Trustworthy Context-Dependent Services. Search on Bibsonomy IEEE SCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Formal modeling of Services, SOA, Context, Service Composition
1Naseem Ibrahim, Mubarak Mohammad, Vangalur S. Alagar Adaptable Discovery and Ranking of Context-Dependent Services. Search on Bibsonomy APSCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad Managing and Delivering Trustworthy Context-Dependent Services. Search on Bibsonomy ICEBE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vasu S. Alagar, Mubarak Mohammad, Kaiyu Wan The Role of Concept, Context, and Component for Dependable Software Development. Search on Bibsonomy ICFCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar A Formal Model of Business Application Integration from Web Services (Position Paper). Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mubarak Mohammad, Vasu S. Alagar TADL - An Architecture Description Language for Trustworthy Component-Based Systems. Search on Bibsonomy ECSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Vasu S. Alagar, Mubarak Mohammad Specification and verification of trustworthy component-based real-time reactive systems. Search on Bibsonomy SAVCBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF components, trustworthiness, real-time reactive systems
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.