860 search results - page 153 / 172 » A Process Algebra Based Verification of a Production System |
SE
2008
13 years 9 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
MSWIM
2009
ACM
14 years 2 months ago
2009
ACM
The provision of rich multimedia services, such as Mobile TV, is considered of key importance for the Long Term Evolution (LTE) proliferation in mobile market. To this direction, ...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
With the advent of multi-processor systems-on-chip, the interest in process migration is again on the rise both in research and in product development. New challenges associated w...
IRI
2003
IEEE
14 years 29 days ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
DSOM
1999
Springer
13 years 12 months ago
1999
Springer
: Solutions in the network and service management layers of telecommunications management architectures are currently fragmented both in terms of standards and products. It is ofte...