Languages
Tari, Zahir.
Overview
| Works: | 5 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Verification of communication protocols in web services = model-checking service compositions /
by:
Tari, Zahir.; Mukherjee, Anshuman.; Bertók, Péter, (1952-)
(Electronic resources)
On the move to meaningful Internet systems 2004 : CoopIS, DOA, and ODBASE = OTM confederated international conferences CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004 : proceedings.. Part I/
by:
Meersman, R.; Tari, Zahir.; SpringerLink (Online service); International Conference on Ontologies Databases and Applications of Semantics ((2004 :); International Conference on Cooperative Information Systems ((2004 :); International Symposium on Distributed Objects and Applications ((2004 :)
(Language materials, printed)
On the move to meaningful Internet systems 2004 : CoopIS, DOA, and ODBASE = OTM confederated international conferences CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004 : proceedings.. Part II/
by:
Meersman, R.; Tari, Zahir.; SpringerLink (Online service); International Conference on Cooperative Information Systems ((2004 :); International Conference on Ontologies Databases and Applications of Semantics ((2004 :); International Symposium on Distributed Objects and Applications ((2004 :)
(Language materials, printed)
On the move to meaningful Internet systems 2003 = OTM 2003 workshops : OTM confederated international workshops : HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003 : proceedings/
by:
Meersman, R.; Tari, Zahir.; SpringerLink (Online service); OTM Confederated International Workshops ((2003 :); HCI-SWWA ((2003 :)
(Language materials, printed)
On the move to meaningful internet systems: OTM 2008 = OTM 2008 Confederated international conferences CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008 : proceedings.. Part II /
by:
Tari, Zahir.; SpringerLink (Online service); Meersman, Robert.
(Electronic resources)
On the move to meaningful internet systems: OTM 2008 workshops = OTM Confederated international workshops and posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008 : proceedings /
by:
Meersman, Robert.; Tari, Zahir.; SpringerLink (Online service); Herrero, Pilar.
(Electronic resources)
On the move to meaningful internet systems: OTM 2008 = OTM 2008 Confederated international conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008 : proceedings.. Part I /
by:
Tari, Zahir.; SpringerLink (Online service); Meersman, Robert.{me_controlnum}
(Electronic resources)
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE : = OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, proceedings
by:
Meersman, Robert.; Tari, Zahir.; SpringerLink (Online service); International Conference on Cooperative Information Systems ((2005 :)
(Language materials, printed)
Subjects
Distributed databases- Congresses.
Software Engineering.
Artificial Intelligence (incl. Robotics)
Database Management.
Information retrieval
Intranets (Computer networks)
Information storage and retrieval systems- Congresses.
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Web services- Testing.
Computer network protocols.
Internet
Data Mining and Knowledge Discovery.
Information Systems Applications (incl.Internet)
Web databases
Computer Science.
Computer Communication Networks.
Computer networks
Systems and Data Security.
Internet- Congresses.