7124 search results - page 1194 / 1425 » Programming Languages and Operating Systems |
119
Voted
ICDT
1997
ACM
15 years 7 months ago
1997
ACM
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...
155
Voted
FPL
2009
Springer
15 years 7 months ago
2009
Springer
High-Level Synthesis (HLS) is the field of transforming a high-level programming language, such as C, into a register transfer level(RTL) description of the design. In HLS, Binary...
144
Voted
ESAW
2006
Springer
15 years 7 months ago
2006
Springer
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
93
Voted
EWSA
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we propose a new approach to model-driven development, which we call introspective model-driven development (IMDD). This approach relies heavily on some well-underst...
133
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...