7167 search results - page 1347 / 1434 » A Technique for Invariant Generation |
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
CCS
2005
ACM
15 years 3 months ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...
CIKM
2005
Springer
15 years 3 months ago
2005
Springer
Databases of text and text-annotated data constitute a significant fraction of the information available in electronic form. Searching and browsing are the typical ways that users...
72
Voted
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
Like many massively-multiplayer role-playing games, Final Fantasy XI is a persistent world with a heroic fantasy setting. This paper discusses fictive player identities, and descr...
ECAL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents a model of the co-evolution of transmissible disease and a population of non-randomly mixed susceptible agents. The presence of the disease elements i...