Sciweavers

1383 search results - page 135 / 277
» An Evaluation Methodology for Computational Grids
Sort
View
IDTRUST
2010
ACM
16 years 1 months ago
Computational techniques for increasing PKI policy comprehension by human analysts
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
Gabriel A. Weaver, Scott A. Rea, Sean W. Smith
IWEC
2008
15 years 7 months ago
Towards Emotional Characters in Computer Games
This paper describes our research on integrating emotion aspects into characters of video games. Motivation for this is the significant absence of emotive expression in most charac...
Robert Schaap, Rafael Bidarra
WSC
1997
15 years 7 months ago
Visualizing Parallel Simulations in Network Computing Environments: A Case Study
Parallel discrete event simulation systems (PDES) are used to simulate large-scale applications such as modeling telecommunication networks, transportation grids, and battlefield...
Christopher D. Carothers, Brad Topol, Richard Fuji...
CHI
2009
ACM
16 years 1 months ago
The creativity support index
We present a draft survey tool called the Creativity Support Index (CSI). The CSI is similar to the NASA Task Load Index Survey but is designed specifically for evaluating creativ...
Erin A. Carroll, Celine Latulipe
NCA
2008
IEEE
16 years 23 days ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou