6740 search results - page 1079 / 1348 » Using Classification as a Programming Language |
161
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
151
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
184
click to vote
APCSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper introduces a method which can be used to map applications written in a high level source language program, like C, to a coarse grain reconfigurable architecture, MONTIU...
166
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
The security features of current middleware platforms, like Enterprise Java Beans and CORBA, are either simple and limited or complex and difficult to use. In both cases are the ...
171
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...