Sciweavers

11129 search results - page 1821 / 2226
» Modeling Search Computing Applications
Sort
View
ICSOC
2007
Springer
16 years 1 months ago
Pluggable Framework for Enabling the Execution of Extended BPEL Behavior
Adding runtime support for BPEL extensions typically r reacting to navigation events from a BPEL engine executing an extende model and (2) affecting the engine’s navigation behav...
Rania Khalaf, Dimka Karastoyanova, Frank Leymann
PPAM
2007
Springer
16 years 29 days ago
Parallel Simulated Annealing Algorithm for Graph Coloring Problem
Abstract. The paper describes an application of Parallel Simulated Annealing (PSA) for solving one of the most studied NP-hard optimization problems: Graph Coloring Problem (GCP). ...
Szymon Lukasik, Zbigniew Kokosinski, Grzegorz Swie...
VMCAI
2007
Springer
16 years 29 days ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
EDOC
2006
IEEE
16 years 27 days ago
Scheduling Real-Time Components Using Jitter-Constrained Streams
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
Claude-Joachim Hamann, Steffen Zschaler
FGR
2006
IEEE
262views Biometrics» more  FGR 2006»
16 years 27 days ago
Kernel Particle Filter for Real-Time 3D Body Tracking in Monocular Color Images
This paper presents the application of a kernel particle filter for 3D body tracking in a video stream acquired from a single uncalibrated camera. Using intensity-based and color...
Joachim Schmidt, Jannik Fritsch, Bogdan Kwolek
« Prev « First page 1821 / 2226 Last » Next »