1383 search results - page 43 / 277 » Computational Mechanisms for Distributed Requirements Engine... |
EMSOFT
2006
Springer
14 years 5 days ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
ISORC
2006
IEEE
14 years 2 months ago
2006
IEEE
UML through its profiling mechanism is well adapted for the modeling of real-time software requirements and designs. It is becoming the de facto standard. On the other hand, seve...
ISORC
2006
IEEE
14 years 2 months ago
2006
IEEE
The fault tolerance provided by FT-CORBA is basically static, that is, once the fault tolerance properties of a group of replicated processes defined, they cannot be modified in r...
ISORC
2007
IEEE
14 years 2 months ago
2007
IEEE
Scheduling tasks on large-scale computational grids is difficult due to the heterogeneous computational capabilities of the resources, node unavailability and unreliable network ...
ADAEUROPE
2008
Springer
14 years 2 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...