5465 search results - page 133 / 1093 » Assigning Types to Processes |
TSP
2011
14 years 4 months ago
2011
—Ranking data is a type of data obtained in some elections, in customer surveys, as well as from web search results. Such data may be considered as a type of signal defined on t...
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
Embedded signal processing system is a typical type of application in embedded domain. Such systems typically have requirements on high real-time responsiveness and large buffer c...
FPL
2007
Springer
15 years 4 months ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
TACAS
1999
Springer
15 years 2 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
DMS
2008
14 years 11 months ago
2008
In this paper I propose a model for situated information processing based on a set of layers, each related to a different processing phase and to a different context type. The mod...