3710 search results - page 114 / 742 » A new calculus of contexts |
178
Voted
WSCG
2003
15 years 8 months ago
2003
In this paper we describe a basis for a system that is able to compute actual scientific and realistic visualization methods in parallel. It is capable to integrate easily in mod...
148
click to vote
IPL
2008
15 years 7 months ago
2008
In the context of scheduling, we study social cost efficiency for a cost-sharing problem in which the service provider's cost is determined by the makespan of the served agen...
203
click to vote
JPDC
2007
15 years 6 months ago
2007
High quality of security is increasingly critical for applications running on heterogeneous distributed systems. However, existing scheduling algorithms for heterogeneous distribu...
191
Voted
IFM
2009
Springer
15 years 4 months ago
2009
Springer
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
180
click to vote
AIME
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We report on the design of a system for correcting spelling errors resulting in non-existent words. The system aims at improving edition of medical reports. Unlike tradit...