4460 search results - page 531 / 892 » Resources in process algebra |
149
click to vote
EUROMICRO
1997
IEEE
15 years 11 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...
180
click to vote
MM
1997
ACM
15 years 11 months ago
1997
ACM
In this paper, we address the problem of choosing a disk admission algorithm for continuous media streams where each stream may have a di erent bit rate, and more importantly, whe...
172
click to vote
IEEESCC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
171
click to vote
GIR
2007
ACM
15 years 10 months ago
2007
ACM
DIGMAP is a project focused on historical digitized maps that will develop a set of Internet services based on reusable open-source software solutions. The main service will provi...
218
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
A wide class of geometry processing and PDE resolution methods needs to solve a linear system, where the non-zero pattern of the matrix is dictated by the connectivity matrix of th...