625 search results - page 25 / 125 » A Distributed Implementation of Mobile Maude |
102
click to vote
ISORC
2007
IEEE
15 years 6 months ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
SIES
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Recent advances in wireless communication technology have opened the way for mobile services and applications. This paper describes ongoing work in the context of the H...
116
click to vote
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
FTDCS
1999
IEEE
15 years 4 months ago
1999
IEEE
We describe an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing (PODC) is that the...
ICPP
2007
IEEE
15 years 6 months ago
2007
IEEE
Mobility management is an important issue for publish/subscribe systems to support mobile clients. The objectives of mobility management for publish / subscribe are to achieve sho...