COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for det...
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been...
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Maintenance is a time consuming activity within software development and it requires a good understanding of the system in question. It is hard or even impossible to understand po...
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
— Over the past several years, the UK Government has piloted several new voting technologies during local authority elections. The mCESG pollsterless Remote Electronic Voting (RE...
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...