Sciweavers

2560 search results - page 353 / 512
» Analysis Tool for Honeypot Systems
Sort
View
COMPSAC
2006
IEEE
16 years 17 days ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
IPPS
2005
IEEE
16 years 3 days ago
Reconfigurable Object Consistency Model
Consistency is an important issue in Distributed Shared Memory (DSM) systems. These systems share a set of objects or virtual memory pages. The data sharing enables the applicatio...
Christiane V. Pousa, Luís Fabrício W...
WIKIS
2005
ACM
16 years 1 days ago
Are wikis usable?
Wikis are simple to use, asynchronous, Web-based collaborative hypertext authoring systems which are quickly gaining in popularity. In spite of much anecdotal evidence to the effe...
Alain Désilets, Sébastien Paquet, No...
BPM
2004
Springer
148views Business» more  BPM 2004»
15 years 10 months ago
Interactive Workflow Mining
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
Markus Hammori, Joachim Herbst, Niko Kleiner
GROUP
1991
ACM
15 years 10 months ago
Extending electronic mail with conceptual modeling to provide group decision support
: This paper reports an attempt to move computer-based techniques for supporting the analysis of group cognitive processes and decision-making from being specialist applications to...
Mildred L. G. Shaw, Brian R. Gaines