1078 search results - page 86 / 216 » Modelling and Verifying of e-Commerce Systems |
171
click to vote
IJACTAICIT
2010
14 years 11 months ago
2010
In this paper, a recurrent neural network based fuzzy inference system (RNFIS) for prediction is proposed. A recurrent network is embedded in the RNFIS by adding feedback connecti...
101
click to vote
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
115
click to vote
ENTCS
2008
15 years 4 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
118
Voted
ICPADS
2006
IEEE
15 years 10 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
155
Voted
WEBI
2001
Springer
15 years 8 months ago
2001
Springer
As meta-data become of ever more importance to the Web, we will need to start managing such meta-data. We argue that there is a strong need for meta-data validation and aggregation...