Sciweavers

2556 search results - page 209 / 512
» The Triconnected Abstraction of Process Models
Sort
View
ICSE
2012
IEEE-ACM
13 years 9 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang
AB
2007
Springer
16 years 1 months ago
Attenuation Regulation as a Term Rewriting System
Abstract The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an...
Eugene Asarin, Thierry Cachat, Alexander Seliverst...
ECAL
2003
Springer
16 years 12 days ago
Semantic Generalisation and the Inference of Meaning
Abstract. In this paper, a computational model of a successful negotiated communication system is presented, in which language agents develop their own meanings in response to thei...
Andrew D. M. Smith
CONCUR
2006
Springer
15 years 11 months ago
A Language for Task Orchestration and Its Semantic Properties
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
David Kitchin, William R. Cook, Jayadev Misra
IDEAL
2000
Springer
15 years 10 months ago
Learning of Virtual Dealers in an Artificial Market: Comparison with Interview Data
Abstract. In this study we used a new agent-based approach, an artificial market approach, to analyze the ways that dealers process the information in financial news. We compared b...
Kiyoshi Izumi, Kazuhiro Ueda