1884 search results - page 273 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
120
click to vote
BCS
2008
15 years 3 months ago
2008
This paper describes our approaches to raise the level of abstraction at which hardware suitable for accelerating computationally-intensive applications can be specified. Field-Pr...
106
click to vote
ICISC
2001
15 years 3 months ago
2001
Abstract. In this work we present a security model for low-value transactions in ad-hoc networks in which we focus on authentication since this is the core requirement for commerci...
ESANN
2003
15 years 3 months ago
2003
Abstract. The purpose of this study is to develop subject categorization methods for educational resources using multilayer perceptron (MLP) and to examine the performance of the t...
AO
2008
15 years 1 months ago
2008
Abstract. The rapid increase in the number and use of biological ontologies necessitates developing systems for their integration. In this paper we present a core ontology for biol...