1395 search results - page 54 / 279 » Incremental Construction Approach for Distributed System Spe... |
111
click to vote
EDOC
1997
IEEE
15 years 5 months ago
1997
IEEE
Enterprise roles define the duties and responsibilities of the individuals which are assigned to them. This paper introduces a framework for the management of large distributed sy...
JAR
2008
15 years 1 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
125
click to vote
KBS
2002
15 years 1 months ago
2002
In this paper, a hybrid learning approach named HDT is proposed. HDT simulates human reasoning by using symbolic learning to do qualitative analysis and using neural learning to d...
118
click to vote
IADIS
2004
15 years 2 months ago
2004
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
100
click to vote
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— The electricity price duration curve (EPDC) represents the probability distribution function of the electricity price considered as a random variable. The price uncerta...