1268 search results - page 155 / 254 » Verifying distributed systems: the operational approach |
COOPIS
2002
IEEE
15 years 2 months ago
2002
IEEE
CORBA is an important standard middleware used in the development of distributed applications. It has also been used with distributed real-time applications, through its extension ...
FPL
2006
Springer
15 years 1 months ago
2006
Springer
A novel framework shows the potential of FPGA-based systems for increasing fault-tolerance and flexibility by placing functionality onto free hardware (HW) or software (SW) resour...
GECCO
2003
Springer
15 years 3 months ago
2003
Springer
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...
IATA
1998
Springer
15 years 2 months ago
1998
Springer
In this paper, we present several approaches to making the process of configuring network devices easier than is currently the case. Configuring a device requires that a number of ...
LISA
2007
15 years 6 days ago
2007
Packet filtering firewall is one of the most important mechanisms used by corporations to enforce their security policy. Recent years have seen a lot of research in the area of ...