1021 search results - page 170 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
PLDI
2003
ACM
15 years 4 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
WWW
2007
ACM
15 years 12 months ago
2007
ACM
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
IUI
2003
ACM
15 years 4 months ago
2003
ACM
In this paper, we evaluate several means of presenting route instructions to a mobile user. Starting from an abstract languageindependent description of a route segment, we show h...
112
click to vote
KBSE
2000
IEEE
15 years 3 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...