Sciweavers

634 search results - page 98 / 127
» Separability in the Ambient Logic
Sort
View
WONS
2005
IEEE
14 years 3 months ago
A Partition Prediction Algorithm for Service Replication in Mobile Ad Hoc Networks
Due to the mobility of nodes in Ad hoc networks, network topology is dynamic and unpredictable, which leads to frequent network partitioning. This partitioning disconnects many no...
Abdelouahid Derhab, Nadjib Badache, Abdelmadjid Bo...
ADBIS
2005
Springer
107views Database» more  ADBIS 2005»
14 years 3 months ago
Data Integration Using DataPile Structure
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...
David Bednárek, David Obdrzálek, Jak...
ATAL
2005
Springer
14 years 3 months ago
On the meta-logic of arguments
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...
Michael Wooldridge, Peter McBurney, Simon Parsons
BPM
2005
Springer
85views Business» more  BPM 2005»
14 years 3 months ago
IT Support for Healthcare Processes
Healthcare processes require the cooperation of different organizational units and medical disciplines. In such an environment optimal process support becomes crucial. Though hea...
Richard Lenz, Manfred Reichert
CCS
2005
ACM
14 years 3 months ago
A modular correctness proof of IEEE 802.11i and TLS
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
Changhua He, Mukund Sundararajan, Anupam Datta, An...