198 search results - page 22 / 40 » Describing Secure Interfaces with Interface Automata |
BROADNETS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we address three challenges that are present when building and analyzing wireless sensor networks (WSN) as part of ubiquitous computing environment: the need for an ...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
This paper describes a monitoring tool for grid computing[5], called visPerf. It is difficult to see the status of a working production grid system without a customized monitorin...
MOBISYS
2009
ACM
14 years 10 months ago
2009
ACM
In this paper, we present the design and evaluation of a nearfield communication-based mobile p2p payment application called mFerio which is designed to replace cash-based transac...
WOSP
2005
ACM
14 years 3 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
AOIS
2003
13 years 11 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...