1766 search results - page 249 / 354 » A Distributed Communication System for Integration with Logi... |
129
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
Resource allocation in ad hoc communication networks is a field of high complexity because of both i) the distributed nature of the interactions between the nodes, and ii) the lar...
141
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
127
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
194
click to vote
ISN
2000
Springer
15 years 7 months ago
2000
Springer
Network Control is currently carried out mainly by means of signalling protocols. Although these protocols are robust and facilitate standardisation, they present several drawback...
118
click to vote
MICCAI
2003
Springer
16 years 4 months ago
2003
Springer
Abstract. Diffusion Tensor Imaging (DTI) is becoming a routine magnetic resonance technique to study white matter properties and alterations of fiber integrity due to pathology. Th...