Sciweavers

12742 search results - page 294 / 2549
» On canonical number systems
Sort
View
ICARIS
2007
Springer
15 years 10 months ago
Defence Against 802.11 DoS Attacks Using Artificial Immune System
In this paper we present an Artificial Immune System (AIS) based security framework, which prevents a number of serious Denial of Service (DoS) attacks. The proposed security frame...
M. Zubair Shafiq, Muddassar Farooq
AMAST
2004
Springer
15 years 10 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
EDO
2006
Springer
15 years 10 months ago
Ubiquitous RATs: how resource-aware run-time tests can improve ubiquitous software systems
In this paper we describe a new approach for increasing the reliability of ubiquitous software systems. This is achieved by executing tests at run-time. The individual software co...
Matthias Merdes, Rainer Malaka, Dima Suliman, Barb...
PRIMA
2000
Springer
15 years 10 months ago
Building a Network Community Support System on the Multi-agent Platform Shine
An increasing number of applications have been developed for supporting network communities. The authors have developed Community Organizer, which supports people in forming new ne...
Sen Yoshida, Koji Kamei, Takeshi Ohguro, Kazuhiro ...
AMAST
1995
Springer
15 years 10 months ago
A Calculus of Countable Broadcasting Systems
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki