6953 search results - page 946 / 1391 » Development Tools for Distributed Applications |
168
click to vote
ICCBR
1999
Springer
15 years 12 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
226
click to vote
TPHOL
1998
IEEE
15 years 12 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
186
click to vote
ASSISTIVE
1998
Springer
15 years 12 months ago
1998
Springer
People with severe speech and motor impairments SSMI can often use augmentative communication devices to help them communicate. While these devices can provide speech synthesis or ...
178
click to vote
DEXA
1998
Springer
15 years 12 months ago
1998
Springer
The object identifier index of an object-oriented database system is typically 20% of the size of the database itself, and for large databases, only a small part of the index fits...
202
click to vote
FASE
2000
Springer
15 years 11 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...