4353 search results - page 755 / 871 » Expressiveness of Process Algebras |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Software engineering activities in the Industry has come a long way with various improvements brought in various stages of the software development life cycle. The comple...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Outage probabilities in wireless networks depend on various factors: the node distribution, the MAC scheme, and the models for path loss, fading and transmission success. In prior ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
For a sensor network, as tractable spatially-dependent node deployment model is presented with the property that the density is inversely proportional to the sink distance. A stoc...
ALIFE
2006
14 years 10 months ago
2006
Current theories about the origin of the eukaryotic cell all assume that during evolution a prokaryotic cell acquired a nucleus. Here, it is shown that a scenario in which the nucl...
ENTCS
2008
14 years 10 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...