11168 search results - page 2038 / 2234 » Abstract State Processes |
FORTE
2004
14 years 4 days 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...
APVIS
2001
14 years 4 days ago
2001
Information visualisation exploits the natural perceptual capabilities of the decisionfacilitate the rapid assimilation and analysis of abstract, complex and often voluminous info...
AOIS
2003
14 years 4 days 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...
ICWN
2004
14 years 4 days 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...
CATA
2003
14 years 4 days 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...