Sciweavers

2658 search results - page 228 / 532
» Autonomic Computing: An Overview
Sort
View
PDP
1997
IEEE
15 years 10 months ago
Language and library support for practical PRAM programming
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...
Christoph W. Keßler, Jesper Larsson Trä...
CHI
1996
ACM
15 years 10 months ago
The Zephyr Help Instance: Promoting Ongoing Activity in a CSCW System
If Computer-Supported Cooperative Work (CSCW) systems are to be successful over time, it will be necessary to promote ongoing and continuing activity, not just initial adoption. I...
Mark S. Ackerman, Leysia Palen
ACMSE
2007
ACM
15 years 10 months ago
Honeypots: concepts, approaches, and challenges
Information security is a growing concern today for organizations and individuals alike. This has led to growing interest in more aggressive forms of defense to supplement the exi...
Iyatiti Mokube, Michele Adams
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
15 years 10 months ago
Using Verification Technology to Specify and Detect Malware
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
Andreas Holzer, Johannes Kinder, Helmut Veith
EUSFLAT
2007
155views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Enriched Generic Algebras of Fuzzy Relations
The paper presents an overview of a computation friendly calculus of fuzzy relations. It is presented within the framework of an enriched generic algebra of relations that we have...
Ladislav J. Kohout