3555 search results - page 187 / 711 » Security-Critical System Development with Extended Use Cases |
139
click to vote
INFORMATICALT
2002
15 years 3 months ago
2002
The objective of expert systems is the use of Artificial Intelligence tools so as to solve problems within specific prefixed applications. Even when such systems are widely applied...
139
click to vote
WADT
1998
Springer
15 years 7 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
143
click to vote
CSCW
2000
ACM
15 years 3 months ago
2000
ACM
Abstract. Workflow technologies have created considerable discussion within the computer supported cooperative work community. Although a number of theoretical and empirical warnin...
147
click to vote
TNN
1998
15 years 3 months ago
1998
—Structural learning with forgetting is an established method of using Laplace regularization to generate skeletal artificial neural networks. In this paper we develop a continu...
164
click to vote
TASE
2011
IEEE
14 years 7 months ago
2011
IEEE
—This paper proposes a general scheduling model that extends job-shop scheduling models to incorporate important features of real manufacturing systems. More precisely, each oper...