2255 search results - page 360 / 451 » High Assurance Software Systems |
137
click to vote
CCGRID
2009
IEEE
15 years 5 months ago
2009
IEEE
From personal software to advanced systems, caching mechanisms have steadfastly been a ubiquitous means for reducing workloads. It is no surprise, then, that under the grid and clu...
133
Voted
CCGRID
2006
IEEE
15 years 4 months ago
2006
IEEE
The demand for an efficient fault tolerance system has led to the development of complex monitoring infrastructure, which in turn has created an overwhelming task of data and even...
106
Voted
FORTE
2008
15 years 2 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
122
Voted
ICSOFT
2008
15 years 2 months ago
2008
Abstract. Since the Internet has become a commodity in both wired and wireless environments, new applications and paradigms have emerged to explore this highly distributed and wide...
102
click to vote
DAGSTUHL
2003
15 years 2 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...