2060 search results - page 344 / 412 » The Composition of Event-B Models |
129
click to vote
IJCIS
2006
15 years 4 months ago
2006
entifies three levels of abstraction for resource requirements a service provider needs to manage, detailed specification of raw resources, virtualization of heterogeneous resource...
156
click to vote
INTERNET
2006
15 years 4 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
142
click to vote
ENTCS
2007
15 years 4 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
116
click to vote
JCB
2007
15 years 4 months ago
2007
Long-range correlations in genomic base composition are a ubiquitous statistical feature among many eukaryotic genomes. In this article, these correlations are shown to substantia...
117
click to vote
CCE
2004
15 years 4 months ago
2004
Ever-changing production campaigns complicate the management of recovery and treatment options for unavoidable effluents at pharmaceutical plants. Each campaign produces large amo...