AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...
AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
Over the last few years, target tracking in wireless sensor networks has become a topic of particular interest. This paper presents a tracking system intended for deployment in di...
AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper we reinforce the benefits of a trust based approach in mobile multi-agent systems. Whilst we do not specify a trust model we provide a framework for property based ...
AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
Sensing context information and making it available to the people, involved in coordinating a collaborative task, is a preliminary phase in making a system adaptable to the prevai...
AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
— Underwater acoustic communication networks have attracted attention for its applications in many areas such as mine warfare, rapid environmental assessment or search and rescue...
AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
An opportunistic network is a network where each node only has connectiviy with other nodes opportunistically. To disseminate data in this kind of network is a challenging task an...
AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
—The WebInVivo project aims at providing automated support for clinical research on neglected diseases. It includes mechanisms for (a) sharing and reusing clinical trial assets, ...
AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
—Topology control in a wireless sensor network is useful for ensuring that the network remains connected in the presence of nodes that exhaust their energy or become altogether d...
AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...