Sciweavers

2227 search results - page 184 / 446
» Reversibility and Models for Concurrency
Sort
View
ATAL
2005
Springer
16 years 5 days ago
Modeling task allocation using a decision theoretic model
Mediation is the process of decomposing a task into subtasks, finding agents suitable for these subtasks and negotiating with agents to obtain commitments to execute these subtas...
Sherief Abdallah, Victor R. Lesser
CG
2006
Springer
15 years 6 months ago
Function-based shape modelling extension of the Virtual Reality Modelling Language
In this paper we propose a new approach to web visualisation with VRML based on a function-based shape modelling, which unifies different types of mathematical functions in order ...
Qi Liu, Alexei Sourin
EUROMICRO
2007
IEEE
16 years 29 days ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
DAWAK
2001
Springer
15 years 11 months ago
Shared Index Scans for Data Warehouses
Tree based indexing structures like -trees, ·-trees, Bitmap indexes and Ê-trees have become essential for getting good performance when accessing vast datasets. However, most dat...
Yannis Kotidis, Yannis Sismanis, Nick Roussopoulos
177
Voted
CONCURRENCY
2007
70views more  CONCURRENCY 2007»
15 years 6 months ago
Fostering collaboration to better manage water resources
: Good water management is literally vital for the arid and semi-arid regions of the planet. Yet good water management requires multidisciplinary expertise, since one must consider...
William Voorsluys, Eliane Araújo, Walfredo ...