Sciweavers

4460 search results - page 184 / 892
» Resources in process algebra
Sort
View
FPL
2007
Springer
101views Hardware» more  FPL 2007»
16 years 19 days ago
Formal Modeling of Process Migration
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...
Aric D. Blumer, Henning S. Mortveit, Cameron D. Pa...
SEMWEB
2007
Springer
16 years 18 days ago
Uncertainty Issues in Automating Process Connecting Web and User
We are interested in replacing human processing of web resources by automated processing. Based on an experimental system we identify uncertainty issues which make this process dif...
Alan Eckhardt, Tomás Horváth, Dusan ...
SECON
2007
IEEE
16 years 22 days ago
INPoD: In-Network Processing over Sensor Networks based on Code Design
—In this paper, we develop a joint Network Coding (NC)-channel coding error-resilient sensor-network approach that performs In-Network Processing based on channel code Design (IN...
Kiran Misra, Shirish S. Karande, Hayder Radha
FASE
2010
Springer
16 years 1 months ago
Dynamic Resource Scheduling in Disruption-Prone Software Development Environments
Good resource scheduling plays a pivotal role in successful software development projects. However, effective resource scheduling is complicated by such disruptions as requirements...
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingsh...
CIA
2003
Springer
15 years 11 months ago
A Framework for the Social Description of Resources in Open Environments
Abstract. The description of public resources such as web site contents, web services or data files in open peer-to-peer networks using some formal framework like RDF usually re...
Matthias Nickles, Gerhard Weiß