Sciweavers

4755 search results - page 245 / 951
» An Implementation Model for Collaborative Applications
Sort
View
144
Voted
ICCS
2005
Springer
15 years 9 months ago
Model-Based Statistical Testing of a Cluster Utility
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
W. Thomas Swain, Stephen L. Scott
204
Voted
CLIMA
2011
14 years 3 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
ATAL
2007
Springer
15 years 9 months ago
An adversarial environment model for bounded rational agents in zero-sum interactions
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschei...
120
Voted
SOCO
2005
Springer
15 years 9 months ago
Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
Johann Oberleitner, Michael Fischer
119
Voted
HICSS
2003
IEEE
127views Biometrics» more  HICSS 2003»
15 years 9 months ago
Evaluating Telemedicine Systems Success: A Revised Model
Broadly, telemedicine refers to the use of information and telecommunication technologies to distribute information and/or expertise necessary for healthcare service provision, co...
Paul Jen-Hwa Hu