3483 search results - page 613 / 697 » Forward |
GLOBECOM
2007
IEEE
15 years 3 months ago
2007
IEEE
—Path diversity works by setting up multiple parallel connections between the end points using the topological path redundancy of the network. In this paper, Forward Error Correc...
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
CMSB
2007
Springer
15 years 3 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
CSEE
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a European Master programme on Global Software Engineering (SE), being put forward by four leading institutions from Sweden, UK, Netherlands and Italy. The Glo...
91
Voted
ESWS
2007
Springer
15 years 3 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...