393 search results - page 37 / 79 » The PADS project: an overview |
GRID
2005
Springer
14 years 2 months ago
2005
Springer
The paper provides an overview of available web applications and Web Services security vulnerability models and proposes a classification of the potential Grid and Web Services at...
ISAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
ZUM
2005
Springer
14 years 2 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
EAGC
2004
Springer
14 years 2 months ago
2004
Springer
A short overview of Grid infrastructure status monitoring is given followed by a discussion of key concepts for advanced status monitoring systems: passive information gathering ba...
ICCHP
2004
Springer
14 years 2 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...