9821 search results - page 196 / 1965 » A Framework for the Development of Protocols |
185
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
142
click to vote
EAGC
2004
Springer
16 years 1 days ago
2004
Springer
Several Grid projects have been established that deploy a “first generation Grid”. In order to categorise existing projects in Europe, we have developed a taxonomy and applied...
164
click to vote
EUROPAR
2004
Springer
16 years 1 days ago
2004
Springer
In spite of the great research effort made in Grid technology in the last years, application development and execution in the Grid continue requiring a high level of expertise due...
149
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
162
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents work conducted towards the development of an effective software engineering-based methodology for integrity control in the process of spreadsheet development. ...