2036 search results - page 301 / 408 » A generic type-and-effect system |
80
Voted
APSEC
2000
IEEE
15 years 5 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
89
Voted
DEXAW
2000
IEEE
15 years 5 months ago
2000
IEEE
rView is a visual frontend to the RasDaMan DBMS, providing raster data visualization functionality and a graphical user interface to the database system. RasDaMan, a commercial ar...
116
click to vote
ASIAN
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Multimedia presentations and their applications are becoming more and more popular in most spheres of industry and everyday life. A database approach could help in queryi...
132
Voted
EDOC
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper reports on applying the ODP enterprise viewpoint in the domain of tele-education. The work is conducted as part of a research activity1 that aims at designing a tele-ed...
102
click to vote
KBSE
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...