Search results for "global computing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Sotirios Terzis, Waleed Wagealla, Colin English, Paddy Nixon	Trust Lifecycle Management in a Global Computing Environment.	Global Computing	2004	DBLP DOI BibTeX RDF
4	Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni	The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.	Global Computing	2004	DBLP DOI BibTeX RDF
3	Yu Wang, Zhijiang Wang	A Model Of Volunteer Resource For Global Computing System.	IITA	2007	DBLP DOI BibTeX RDF	mobile computing, grid, heterogeneous, Global computing
3	Michela Taufer, Chahm An, Andreas Kerstens, Charles L. Brooks III	Predictor@Home: A "Protein Structure Prediction Supercomputer' Based on Global Computing.	IEEE Trans. Parallel Distrib. Syst.	2006	DBLP DOI BibTeX RDF	Global computing paradigm, public resources, protein conformational sampling, Monte Carlo simulations, molecular dynamics
3	Guangzhong Sun, Bin Fan, Guoliang Chen, Yinghua Zhou	Study on Scheduling Strategy for Global Computing Application.	PDCAT	2006	DBLP DOI BibTeX RDF	Timeout, Task duplication, Global Computing, Scheduling strategy
3	José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing	05081 Abstracts Collection - Foundations of Global Computing.	Foundations of Global Computing	2005	DBLP BibTeX RDF
3	Ivan Lanese, Ugo Montanari	Insights emerged while comparing three models for global computing.	Foundations of Global Computing	2005	DBLP BibTeX RDF
3	Chara Skouteli, Christoforos Panayiotou, George Samaras, Evaggelia Pitoura	Communities: Concept-Based Querying for Mobile Services.	Global Computing	2004	DBLP DOI BibTeX RDF
3	Zhong Liu, Wen Dou, Wei Ming Zhang, Peng Zou	Paradropper: A General-Purpose Global Computing Environment Built on Peer-to-Peer Overlay Network.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF	Paradropper, general-purpose global computing system, small world
3	Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing	UML for Global Computing.	Global Computing	2003	DBLP DOI BibTeX RDF
3	Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami	Performance Evaluation for Global Computation.	Global Computing	2003	DBLP DOI BibTeX RDF
3	Derrick Kondo, Henri Casanova, Eric Wing, Francine Berman	Models and Scheduling Mechanisms for Global Computing Applications. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF	Peer-to-Peer (P2P) Platform, SETI@home, Scheduling, Bioinformatics, Computational Grid, Simulation Model, Internet Computing, Global Computing
3	Dieter Pfoser, Evaggelia Pitoura, Nectaria Tryfona	Metadata modeling in a global computing environment.	ACM-GIS	2002	DBLP DOI BibTeX RDF	mobile ontologies, mobile computing, mobile devices, metadata, spatiotemporal databases, global computing
3	Kento Aida, Atsuko Takefusa, Hidemoto Nakada, Satoshi Matsuoka, Umpei Nagashima	A Performance Evaluation Model for Effective Job Scheduling in Global Computing Systems. (PDF / PS)	HPDC	1998	DBLP DOI BibTeX RDF	performance evaluation model, job scheduling, queueing system, global computing
2	Vasiliki Liagkou, Effie Makri, Paul G. Spirakis, Yannis C. Stamatiou	Trust in global computing systems as a limit property emerging from short range random interactions.	ARES	2007	DBLP DOI BibTeX RDF
2	Jean-Louis Roch, Sébastien Varrette	Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product.	PASCO	2007	DBLP DOI BibTeX RDF	divide & conquer algorithms, fork-join macro-data flow graph, global computing, result-checking
2	Patryk Czarnik, Aleksy Schubert	Extending Operational Semantics of the Java Bytecode.	TGC	2007	DBLP DOI BibTeX RDF
2	Flemming Nielson, Hanne Riis Nielson, Jörg Bauer 0001, Christoffer Rosenkilde Nielsen, Henrik Pilegaard	Relational Analysis for Delivery of Services.	TGC	2007	DBLP DOI BibTeX RDF
2	Robin Milner	Scientific Foundation for Global Computing.	T. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
2	José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing (eds.)	Foundations of Global Computing, 20.-25. February 2005	Foundations of Global Computing	2006	DBLP BibTeX RDF
2	Guangzhong Sun, Jiulong Shan, Guoliang Chen	Job Scheduling for Campus-scale Global Computing with Machine Availability Constraints.	IMSCCS	2006	DBLP DOI BibTeX RDF
2	Babak Behsaz, Pooya Jaferian, Mohammad Reza Meybodi	Comparison of Global Computing with Grid Computing.	PDCAT	2006	DBLP DOI BibTeX RDF
2	EunJoung Byun, HongSoo Kim, SungJin Choi, MaengSoon Baik, SooJin Goo, Joon-Min Gil, HarkSoo Park, Chong-Sun Hwang	Advanced Stochastic Host State Modeling to Reliable Computation in Global Computing Environment.	EUC	2006	DBLP DOI BibTeX RDF
2	Olivier Delannoy, Nahid Emad, Serge G. Petiton	Workflow Global Computing with YML.	GRID	2006	DBLP DOI BibTeX RDF
2	Francesco Silvestri	On the Limits of Cache-Oblivious Matrix Transposition.	TGC	2006	DBLP DOI BibTeX RDF
2	Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers	The KOA Remote Voting System: A Summary of Work to Date.	TGC	2006	DBLP DOI BibTeX RDF
2	Christos Kaklamanis	Project AEOLUS: An Overview.	TGC	2006	DBLP DOI BibTeX RDF
2	Kyung-Lang Park, Chang-Soon Kim, Oh-Young Kwon, Hyoung-Woo Park, Shin-Dug Kim	A Personalized and Scalable Service Broker for the Global Computing Environment.	ISPA	2005	DBLP DOI BibTeX RDF
2	Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti	A Flexible and Modular Framework for Implementing Infrastructures for Global Computing.	DAIS	2005	DBLP DOI BibTeX RDF
2	Rocco De Nicola, Daniele Gorla, Rosario Pugliese	Global Computing in a Dynamic Network of Tuple Spaces.	COORDINATION	2005	DBLP DOI BibTeX RDF
2	Corrado Priami, Paola Quaglia (eds.)	Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers	Global Computing	2005	DBLP BibTeX RDF
2	Michela Taufer, Patricia J. Teller, David P. Anderson, Charles L. Brooks III	Metrics for Effective Resource Management in Global Computing Environments.	e-Science	2005	DBLP DOI BibTeX RDF	resource classification, Monte Carlo simulations, molecular dynamics, Large-scale simulations
2	S.-A. Shahzadeh-Fazeli, Nahid Emad, Jack Dongarra	Eigenvalue Computation with NetSolve Global Computing System.	LSSC	2005	DBLP DOI BibTeX RDF
2	Guillaume Jourjon, Didier El Baz	Some Solutions for Peer-to-Peer Global Computing.	PDP	2005	DBLP DOI BibTeX RDF
2	HongSoo Kim, SungJin Choi, MaengSoon Baik, KwonWoo Yang, Heon-Chang Yu, Chong-Sun Hwang	Group-Based Scheduling Scheme for Result Checking in Global Computing Systems.	ICCSA	2005	DBLP DOI BibTeX RDF
2	Catuscia Palamidessi, Mohit Bhargava	Probabilistic Anonymity.	Foundations of Global Computing	2005	DBLP BibTeX RDF
2	Maura Cerioli, Matteo Dell'Amico	Injecting Distribution in CASL.	Foundations of Global Computing	2005	DBLP BibTeX RDF
2	Francisco Martins, Liliana Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes	MiKO - Mikado Koncurrent Objects.	Foundations of Global Computing	2005	DBLP BibTeX RDF
2	Mark-Oliver Stehr, Carolyn L. Talcott	Practical Techniques for Language Design and Prototyping.	Foundations of Global Computing	2005	DBLP BibTeX RDF
2	Jens Gustedt	Data Handover: Reconciling Message Passing and Shared Memory.	Foundations of Global Computing	2005	DBLP BibTeX RDF
2	Cristóvão Oliveira, Michel Wermelinger	Architectural Views for CommUnity.	Foundations of Global Computing	2005	DBLP BibTeX RDF
2	Christophe Cérin, Michel Koskas	Mining Traces of Large Scale Systems.	ICA3PP	2005	DBLP DOI BibTeX RDF	global computing platforms, high performance and distributed databases, Parallel algorithms, resource management, data management, meta-data, trace analysis, data mining application
2	Colin English, Sotirios Terzis, Waleed Wagealla	Engineering Trust Based Collaborations in a Global Computing Environment.	iTrust	2004	DBLP DOI BibTeX RDF
2	Gérard Boudol	A Reactive Programming Model for Global Computing.	COORDINATION	2004	DBLP DOI BibTeX RDF
2	Daniele Gorla, Rosario Pugliese	Controlling data movement in global computing applications.	SAC	2004	DBLP DOI BibTeX RDF
2	Dimitris Lioupis, Dionysia Psihogiou, Michalis Stefanidakis	Exporting Processing Power of Home Embedded Devices to Global Computing Applications.	PDP	2004	DBLP DOI BibTeX RDF
2	Jaesun Han, Daeyeon Park	Scheduling Proxy: Enabling Adaptive-Grained Scheduling for Global Computing System.	GRID	2004	DBLP DOI BibTeX RDF
2	Gérard Boudol	ULM: A Core Programming Model for Global Computing: (Extended Abstract).	ESOP	2004	DBLP DOI BibTeX RDF
2	Gérard Boudol	A Generic Membrane Model (Note).	Global Computing	2004	DBLP DOI BibTeX RDF
2	M. Brahami, Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande	BGP-Based Clustering for Scalable and Reliable Gossip Broadcast.	Global Computing	2004	DBLP DOI BibTeX RDF	Broadcast streams, Fault-tolerance, Multicast, System design, Content distribution, Peer-to-peer communications, Service overlay networks
2	Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia	Performance Analysis of a UML Micro-business Case Study.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Paolo Baldan, Andrea Corradini, Fabio Gadducci	Specifying and Verifying UML Activity Diagrams Via Graph Transformation.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos	A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini	For-LySa: UML for Authentication Analysis.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Angelo Troina, Alessandro Aldini, Roberto Gorrieri	Towards a Formal Treatment of Secrecy Against Computational Adversaries.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Paolo Baldan, Andrea Bracciali, Roberto Bruni	Symbolic Equivalences for Open Systems.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Luc Onana Alima, Ali Ghodsi, Seif Haridi	A Framework for Structured Peer-to-Peer Overlay Networks.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov	Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing	Mobile UML Statecharts with Localities.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Erik Aurell, Sameh El-Ansary	A Physics-Style Approach to Scalability of Distributed systems.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Sotiris E. Nikoletseas, Paul G. Spirakis	Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks.	Global Computing	2004	DBLP DOI BibTeX RDF
2	Alan Schmitt, Jean-Bernard Stefani	The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.	Global Computing	2004	DBLP DOI BibTeX RDF	higher-order bisimulation, components, distributed programming, mobile code, Process calculi, ambients, higher-order languages
2	Evaggelia Pitoura, Serge Abiteboul, Dieter Pfoser, George Samaras, Michalis Vazirgiannis	DBGlobe: a service-oriented P2P system for global computing.	SIGMOD Record	2003	DBLP DOI BibTeX RDF	peer-to-peer databases, ubiquitous computing, metadata, pervasive computing, services, peer-to-peer computing, global computing
2	Colin English, Waleed Wagealla, Paddy Nixon, Sotirios Terzis, Helen Lowe, Andrew D. McGettrick	Trusting Collaboration in Global Computing Systems.	iTrust	2003	DBLP DOI BibTeX RDF
2	Wen Dou, Yan Jia, Huaimin Wang, Wen Qiang Song, Peng Zou	A P2P Approach for Global Computing.	IPDPS	2003	DBLP DOI BibTeX RDF
2	Wen Dou, Yan Jia, Zhong Liu, Peng Zou	A Simple Constructing Approach to Build P2P Global Computing Overlay Network.	ICANN	2003	DBLP DOI BibTeX RDF
2	Corrado Priami (eds.)	Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers	Global Computing	2003	DBLP BibTeX RDF
2	Cécile Germain-Renaud, Nathalie Playez	Result checking in global computing systems.	ICS	2003	DBLP DOI BibTeX RDF	grid, program-checking, sequential test
2	Alessandro Aldini, Roberto Gorrieri	A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism.	Global Computing	2003	DBLP DOI BibTeX RDF
2	Viviana Bono	Extensible Objects: A Tutorial.	Global Computing	2003	DBLP DOI BibTeX RDF
2	Dieter Gollmann	Facets of Security.	Global Computing	2003	DBLP DOI BibTeX RDF
2	Elio Giovannetti	Ambient Calculi with Types: A Tutorial.	Global Computing	2003	DBLP DOI BibTeX RDF
2	Linda Brodo, Pierpaolo Degano, Corrado Priami	Reflecting Mobile Ambients into the p-Calculus.	Global Computing	2003	DBLP DOI BibTeX RDF
2	Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri	The Klaim Project: Theory and Practice.	Global Computing	2003	DBLP DOI BibTeX RDF
2	Jacques M. Bahi, Sylvain Contassot-Vivier, Raphaël Couturier	Asynchronism for Iterative Algorithms in a Global Computing Environment.	HPCS	2002	DBLP DOI BibTeX RDF
2	Zoltan Juhasz, Arpad Andics, Szabolcs Pota	JM: A Jini Framework for Global Computing.	CCGRID	2002	DBLP DOI BibTeX RDF
2	Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese	MetaKlaim: Meta-programming for Global Computing.	SAIG	2001	DBLP DOI BibTeX RDF
2	Gilles Fedak, Cécile Germain, Vincent Néri, Franck Cappello	XtremWeb: A Generic Global Computing System.	CCGRID	2001	DBLP DOI BibTeX RDF
2	Cécile Germain, Gilles Fedak, Vincent Néri, Franck Cappello	Global Computing Systems.	LSSC	2001	DBLP DOI BibTeX RDF
2	Mitsuhisa Sato, Motonori Hirano, Yoshio Tanaka, Satoshi Sekiguchi	OmniRPC: A Grid RPC Facility for Cluster and Global Computing in OpenMP.	WOMPAT	2001	DBLP DOI BibTeX RDF
2	Toyotaro Suzumura, Takayuki Nakagawa, Satoshi Matsuoka, Hidemoto Nakada, Satoshi Sekiguchi	Are Global Computing Systems Useful? Comparison of Client-server Global Computing Systems Ninf, NetSolve Versus CORB. (PDF / PS)	IPDPS	2000	DBLP DOI BibTeX RDF
2	Cécile Germain, Vincent Néri, Gilles Fedak, Franck Cappello	XtremWeb: Building an Experimental Platform for Global Computing.	GRID	2000	DBLP DOI BibTeX RDF
2	Atsuko Takefusa, Satoshi Matsuoka, Hidemoto Nakada, Kento Aida, Umpei Nagashima	Overview of a Performance Evaluation System for Global Computing Scheduling Algorithms. (PDF / PS)	HPDC	1999	DBLP DOI BibTeX RDF
2	Yoshio Tanaka, Mitsuhisa Sato, Motonori Hirano, Hidemoto Nakada, Satoshi Sekiguchi	Resource Manager for Globus-Based Wide-Area Cluster Computing.	IWCC	1999	DBLP DOI BibTeX RDF	Wide-area Cluster Computing, Firewall, Globus, Cluster Systems, Global Computing
1	Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Reactive Event Calculus for Monitoring Global Computing Applications.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
1	Sébastien Varrette, Emilia Tantar, Pascal Bouvry	On the Resilience of [Distributed] EAs against Cheaters in Global Computing Platforms.	IPDPS Workshops	2011	DBLP DOI BibTeX RDF
1	Keun Soo Yim, David Hreczany, Ravishankar K. Iyer	HTAF: Hybrid Testing Automation Framework to Leverage Local and Global Computing Resources.	ICCSA	2011	DBLP DOI BibTeX RDF
1	Wei Du, Guohua Cui, Wei Liu	A Risk-Aware Resource Service Decision Strategy for Global Computing.	ATC	2010	DBLP DOI BibTeX RDF
1	Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)	Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers	TGC	2010	DBLP DOI BibTeX RDF
1	Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi	A Framework for Rule-Based Dynamic Adaptation.	TGC	2010	DBLP DOI BibTeX RDF
1	Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin	Certified Result Checking for Polyhedral Analysis of Bytecode Programs.	TGC	2010	DBLP DOI BibTeX RDF
1	Laura Bocchi, Emilio Tuosto	A Java Inspired Semantics for Transactions in SOC.	TGC	2010	DBLP DOI BibTeX RDF
1	Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Maria Kyropoulou, Evi Papaioannou	The Impact of Altruism on the Efficiency of Atomic Congestion Games.	TGC	2010	DBLP DOI BibTeX RDF
1	Paola Quaglia, Stefano Schivo	Approximate Model Checking of Stochastic COWS.	TGC	2010	DBLP DOI BibTeX RDF
1	César Kunz	Certificate Translation for the Verification of Concurrent Programs.	TGC	2010	DBLP DOI BibTeX RDF
1	Marco Bernardo, Rocco De Nicola, Michele Loreti	Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes.	TGC	2010	DBLP DOI BibTeX RDF
1	Jan Jakubuv, J. B. Wells	Expressiveness of Generic Process Shape Types.	TGC	2010	DBLP DOI BibTeX RDF
1	Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou	Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols.	TGC	2010	DBLP DOI BibTeX RDF
1	Vincenzo Ciancaglini, Luigi Liquori, Laurent Vanni	CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility.	TGC	2010	DBLP DOI BibTeX RDF