12774 search results - page 325 / 2555 » A Framework for Proof Systems |
215
click to vote
IADIS
2003
15 years 8 months ago
2003
Developing and evolving complex Web-based systems with strict requirement for shorter time-to-market needs good and systematic engineering approaches and especially an elegant way...
166
click to vote
MMB
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, we propose a general survivability quantification framework which is applicable to a wide range of system architectures, applications, failure/recovery behaviors, ...
221
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
In this poster, we will propose a framework for finding, recommending and inserting learning objects in a digital repository level, exploiting the user context that is captured fro...
150
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
This paper presents an OMNeT-based Framework to simulate large complex storage networks, with its corresponding underlying subsystems (I/O, Networking, etc.). With this Framework,...
201
click to vote
ENGL
2006
15 years 6 months ago
2006
Applying Vector Autoregression (VAR) and genetic algorithm (GA) in hybrid systems with neural network can improve the NN's prediction capability. Two case studies have been ca...