2153 search results - page 196 / 431 » From Requirements Models to Formal Specifications in B |
189
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
173
click to vote
SEKE
2007
Springer
16 years 18 days ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
173
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Many high-performance tools, applications and infrastructures, such as Paradyn, STAT, TAU, Ganglia, SuperMon, Astrolabe, Borealis, and MRNet, use data aggregation to synthesize lar...
165
click to vote
ECOWS
2006
Springer
15 years 10 months ago
2006
Springer
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
167
click to vote
CMSB
2007
Springer
16 years 20 days ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...