Sciweavers

6031 search results - page 217 / 1207
» Communicating Transaction Processes
Sort
View
MATA
2001
Springer
158views Communications» more  MATA 2001»
15 years 11 months ago
Network Processing of Mobile Agents, by Mobile Agents, for Mobile Agents
This paper presents a framework for building network protocols for migrating mobile agents over a network. The framework allows network protocols for agent migration to be naturall...
Ichiro Satoh
CONCUR
2000
Springer
15 years 10 months ago
An Implicitly-Typed Deadlock-Free Process Calculus
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
Naoki Kobayashi, Shin Saito, Eijiro Sumii
JDCTA
2008
128views more  JDCTA 2008»
15 years 6 months ago
Specifying a WS-ECA Working Framework for Ubiquitous Web Services in Object-Process Methodology
The Web Services-Event-Condition-Action (WSECA) framework is designed to enable the heterogeneous communication devices in Ubiquitous Computing Environments to achieve inter-opera...
Haining Lee, Jaeil Park, Peom Park, Dongmin Shin
MA
2010
Springer
107views Communications» more  MA 2010»
15 years 4 months ago
The multiple hybrid bootstrap - Resampling multivariate linear processes
The paper reconsiders the autoregressive aided periodogram bootstrap (AAPB) which has been suggested in Kreiß and Paparoditis (2003). Their idea was to combine a time domain param...
Carsten Jentsch, Jens-Peter Kreiss
MA
2010
Springer
147views Communications» more  MA 2010»
15 years 4 months ago
On asymptotic normality of sequential LS-estimate for unstable autoregressive process AR(2)
For estimating parameters in an unstable AR(2) model, the paper proposes a sequential least squares estimate with a special stopping time defined by the trace of the observed Fis...
Leonid Galtchouk, Victor Konev