329 search results - page 57 / 66 » Asynchronous Communication in Process Algebra |
AMKM
2003
Springer
14 years 26 days ago
2003
Springer
This paper presents an agent-based approach to semantic exploration and knowledge discovery in large information spaces by means of capturing, visualizing and making usable implic...
ESEC
1999
Springer
13 years 12 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
EUROMICRO
1997
IEEE
13 years 12 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
CCGRID
2001
IEEE
13 years 11 months ago
2001
IEEE
The Information Power Grid (IPG) concept developed by NASA is aimed to provide a metacomputing platform for large-scale distributed computations, by hiding the intricacies of a hig...
ECSCW
2007
13 years 9 months ago
2007
Abstract. This paper examines the empirical findings of a study of the work and cooperation taking place within and between the home help service and home health care in a Swedish ...