10241 search results - page 1919 / 2049 » Goal-Driven Software Development |
141
click to vote
AC
1998
Springer
15 years 2 months ago
1998
Springer
Abstract: Since von Neumann's seminal work around 1950, computer scientists and others have studied the algorithms needed to support self-replicating systems. Much of this wor...
148
click to vote
JACM
2002
15 years 2 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
133
click to vote
SIGPLAN
1998
15 years 2 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...
117
click to vote
TOCHI
1998
15 years 2 months ago
1998
Ideally, software toolkits for collaborative applications should provide generic, reusable components, applicable in a wide range of circumstances, which software developers can as...
142
click to vote
SOCO
2002
Springer
15 years 2 months ago
2002
Springer
A granular neural Web-based stock prediction agent is developed using the granular neural network (GNN) that can discover fuzzy rules. Stock data sets are downloaded from www.yahoo...