Sciweavers

11129 search results - page 1821 / 2226
» Modeling Search Computing Applications
Sort
View
191
Voted
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 1 months 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...
172
Voted
VMCAI
2007
Springer
16 years 1 months 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 1 months 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 1 months 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 »