Search results for "AWS"

Found 437 publication records. Showing 409 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Maryam Khezrzadeh, Alex Thomo, William W. Wadge	Harnessing the power of "favorites" lists for recommendation systems.	RecSys	2009	DBLP DOI BibTeX RDF	bayesian rating, recommender systems, collaborative filtering, association analysis
18	Roger Curry, Cameron Kiddle, Nayden Markatchev, Rob Simmonds, Tingxi Tan, Martin F. Arlitt, Bruce Walker	Running applications efficiently in online social networks.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF
18	M. H. Peyravi, P. Khosraviyan Dehkordi, Z. Davari Nejad	Obtain Weather Data with Data Warehousing.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
18	Vijay Gehlot, Anush Hayrapetyan	A formalized and validated executable model of the SIP-based presence protocol for mobile applications.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF
18	Ricky E. Sward	Using ada in a service-Ooriented architecture.	SIGAda	2007	DBLP DOI BibTeX RDF	SOA, service-oriented architecture, software architecture, enterprise service bus, ESB
18	Yingping Huang, Gregory R. Madey	Autonomic Web-Based Simulation.	Annual Simulation Symposium	2005	DBLP DOI BibTeX RDF
18	Jennifer Tenzer	Improving UML Design Tools by Formal Games .	ICSE	2004	DBLP DOI BibTeX RDF	Application of formal methods to software design
18	Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon	PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.	Ada-Europe	2004	DBLP DOI BibTeX RDF
18	Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink	Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Lip synchronisation, Model checking, Verification, Specification, Timed automata, Uppaal

Displaying result #401 - #409 of 409 (100 per page; Change: )
Pages: [<<][1][2][3][4][5]