502 search results - page 37 / 101 » Analyzing Interacting BPEL Processes |
ENTCS
2007
13 years 8 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
INFOCOM
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract--This paper analyzes the stationary behavior of the TCP congestion window performing ideal congestion avoidance when the packet loss probability is not constant, but varie...
ACHI
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper presents an approach to analyze and re-design evaluation methods. The domain explored in this paper is evaluation methods for evaluating fun and entertainment. However,...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper deals with design and implementation of a stabilization algorithm for a car like robot performing high speed turns. The control of such a kind of system is rather di...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
In experimental research the job of analyzing data is an extremely slow and laborious process. In particular, video and audio data of human behavior are difficult to analyze, as t...