537 search results - page 39 / 108 » tools 1999 |
EKAW
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. Conceptual Information Systems unfold the conceptual structure of data stored in relational databases. In the design phase of the system, conceptual hierarchies have to b...
RTSS
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper we present a framework integrating speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tas...
WETICE
1999
IEEE
15 years 2 months ago
1999
IEEE
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....
HPCN
1999
Springer
15 years 2 months ago
1999
Springer
We developed a platform independent, three-tier system, called WebFlow. The visual authoring tools implemented in the front end integrated with the middle tier network of servers ...
SPIN
1999
Springer
15 years 2 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...