11168 search results - page 2038 / 2234 » Abstract State Processes |
101
click to vote
FORTE
2004
15 years 2 months ago
2004
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
116
click to vote
APVIS
2001
15 years 2 months ago
2001
Information visualisation exploits the natural perceptual capabilities of the decisionfacilitate the rapid assimilation and analysis of abstract, complex and often voluminous info...
103
Voted
AOIS
2003
15 years 2 months ago
2003
Abstract. In this paper, we describe an Intelligent Multiagent Infrastructure for Distributed Systems in Education (or I-MINDS) framework that applies an agent-oriented information...
107
click to vote
ICWN
2004
15 years 2 months ago
2004
Abstract-- Many clustering protocols for mobile ad hoc networks (MANETs) have been proposed in the literature. With only one exception so far [1], all these protocols are proactive...
98
Voted
CATA
2003
15 years 2 months ago
2003
This paper introduces stratified programming, a novel approach for program construction. In essence, stratified programming allows the developer to build and software at various l...