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 ...
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...
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...
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...
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