393 search results - page 37 / 79 » The PADS project: an overview |
170
click to vote
GRID
2005
Springer
15 years 11 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...
198
click to vote
ISAS
2005
Springer
15 years 11 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...
157
click to vote
ZUM
2005
Springer
15 years 11 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...
157
click to vote
EAGC
2004
Springer
15 years 11 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...
129
click to vote
ICCHP
2004
Springer
15 years 11 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 ...