3514 search results - page 616 / 703 » Evolving Specification Engineering |
FPL
1999
Springer
14 years 1 months ago
1999
Springer
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
OOPSLA
1999
Springer
14 years 1 months ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
ACISP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. The past few years have seen the emergence of a large number of proposals for electronic payments over open networks. Among these proposals is the Secure Electronic Trans...
VRML
1998
ACM
14 years 1 months ago
1998
ACM
The Virtual Reality Modeling Language (VRML) and the World Wide Web (WWW) offer new opportunities to communicate an architect’s design intent throughout the design process. We h...
ER
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. In this paper we argue that many of the problems one may experience while visiting websites today may be avoided if their builders adopt a proper methodology for designin...