Sciweavers

7099 search results - page 21 / 1420
» Context for models of concurrency
Sort
View
EEE
2005
IEEE
14 years 3 months ago
From Multi-Context Business Collaboration Models to Context-Specific ebXML BPSS
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
Birgit Hofreiter, Christian Huemer
CAV
2006
Springer
165views Hardware» more  CAV 2006»
14 years 1 months ago
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...
JACIII
2006
86views more  JACIII 2006»
13 years 9 months ago
Computational Models of Language Within Context and Context-Sensitive Language Understanding
Noriko Ito, Toru Sugimoto, Yusuke Takahashi, Shino...
ADAEUROPE
2007
Springer
14 years 4 months ago
Modelling Remote Concurrency with Ada
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
Claude Kaiser, Christophe Pajault, Jean-Fran&ccedi...
WSC
2001
13 years 11 months ago
On the impact of concurrent downloads
Concurrent downloads accelerate information access speed for individual web users. The speed-up comes from multiple connections launched for one subject download, which leads to u...
Yong Liu, Weibo Gong, Prashant J. Shenoy