Sciweavers

1188 search results - page 18 / 238
» Testing Semantics: Connecting Processes and Process Logics
Sort
View
IANDC
2010
83views more  IANDC 2010»
14 years 8 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
AEI
2010
136views more  AEI 2010»
14 years 9 months ago
Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
SPE
2002
141views more  SPE 2002»
14 years 9 months ago
Data collection and restoration for heterogeneous process migration
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
Kasidit Chanchio, Xian-He Sun
JSW
2007
156views more  JSW 2007»
14 years 9 months ago
An Automatic Test Case Generation Framework for Web Services
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
Yongyan Zheng, Jiong Zhou, Paul Krause
CONTEXT
2007
Springer
15 years 3 months ago
Context-Sensitivity of Human Memory: Episode Connectivity and Its Influence on Memory Reconstruction
This paper is testing a DUAL-based model of memory. The model assumes decentralized representation of episodes as a coalition of agents and analogical transfer processes as the bas...
Boicho N. Kokinov, Georgi Petkov, Nadezhda Petrova