Sciweavers

1724 search results - page 290 / 345
» Models for Concurrency
Sort
View
ICDE
2001
IEEE
159views Database» more  ICDE 2001»
14 years 10 months ago
Workflow and Process Synchronization with Interaction Expressions and Graphs
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
Christian Heinlein
VIS
2009
IEEE
215views Visualization» more  VIS 2009»
14 years 10 months ago
BrainGazer - Visual Queries for Neurobiology Research
Abstract-- Neurobiology investigates how anatomical and physiological relationships in the nervous system mediate behavior. Molecular genetic techniques, applied to species such as...
Stefan Bruckner, Veronika Šoltészová, M. Edua...
GIS
2007
ACM
14 years 9 months ago
Approximate order-k Voronoi cells over positional streams
Handling streams of positional updates from numerous moving objects has become a challenging task for many monitoring applications. Several algorithms have been recently proposed ...
Kostas Patroumpas, Theofanis Minogiannis, Timos K....
ISBI
2004
IEEE
14 years 9 months ago
Multiple-Image Computed Tomography
We have recently proposed and investigated a planar imaging method called multiple-image radiography (MIR) that concurrently produces three two-dimensional images that reveal info...
Miles N. Wernick, Jovan G. Brankov, Dean Chapman, ...
POPL
2008
ACM
14 years 9 months ago
Proving non-termination
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumda...