5961 search results - page 891 / 1193 » Design Science and Software Engineering |
162
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
127
click to vote
SIGECOM
2000
ACM
15 years 8 months ago
2000
ACM
The WWW has made information and services more available than ever before. Many of the first Web applications have been emulations of real world activities, in particular, e-comme...
174
click to vote
CSEE
2000
Springer
15 years 8 months ago
2000
Springer
We report on experience from teaching OO technology to undergraduate students. Before they can successfully tackle the projects they have to successfully shift to the OO paradigm,...
125
click to vote
UIST
1999
ACM
15 years 8 months ago
1999
ACM
Cascading Style Sheets have recently been introduced by the W3C as a mechanism for controlling the appearance of HTML documents. In this paper, we demonstrate how constraints prov...
137
click to vote
WACC
1999
ACM
15 years 8 months ago
1999
ACM
In many hierarchical companies, reports from several independent groups must be merged to form a single, companywide report. This paper describes a process and system for creating...