Sciweavers

5506 search results - page 668 / 1102
» Visualizing Software Changes
Sort
View
160
Voted
CODES
1998
IEEE
15 years 10 months ago
A hardware/software prototyping environment for dynamically reconfigurable embedded systems
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
Josef Fleischmann, Klaus Buchenrieder, Rainer Kres...
130
Voted
EUROMICRO
1998
IEEE
15 years 10 months ago
Two-Level Communication Protocol for a Web Operating System (WOS?)
The World-Wide Web consists not only of informational, but also computational resources. However, these resources, especially computational ones are underutilized. One characteris...
Gilbert Babin, Peter G. Kropf, Herwig Unger
147
Voted
UIST
1998
ACM
15 years 10 months ago
Internet Scrapbook: Automating Web Browsing Tasks by Demonstration
This paper describes a programming-by-demonstration system, called Internet Scrapbook, which allows users with little programming skill to automate repetitive browsing tasks. With...
Atsushi Sugiura, Yoshiyuki Koseki
ER
1998
Springer
123views Database» more  ER 1998»
15 years 10 months ago
From Object Oriented Conceptual Modeling to Automated Programming in Java
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
Oscar Pastor, Vicente Pelechano, Emilio Insfr&aacu...
APSEC
1997
IEEE
15 years 10 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu