12774 search results - page 2245 / 2555 » A Framework for Proof Systems |
197
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
Left unchecked, the fundamental drive to increase peak performance using tens of thousands of power hungry components will lead to intolerable operating costs and failure rates. R...
173
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
The Web Service Resource Framework (WSRF) was announced in January 2004 as a new way for manipulating "stateful resources" to perform grid computing tasks using Web Serv...
180
click to vote
IRI
2005
IEEE
16 years 11 days ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
181
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
167
click to vote
QSIC
2005
IEEE
16 years 11 days ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...