626 search results - page 38 / 126 » Closing the Gap Between Software Modelling and Code |
ESORICS
2004
Springer
14 years 2 months ago
2004
Springer
We evaluate the anonymity provided by two popular email mix implementations, Mixmaster and Reliable, and compare their effectiveness through the use of simulations which model th...
TIC
2000
Springer
14 years 16 days ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
KCAP
2005
ACM
14 years 2 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
ASPDAC
1998
ACM
14 years 1 months ago
1998
ACM
We developed a new modular synthesis approach for design of low-power core-based data-intensive application-specific systems on silicon. The power optimization is conducted in th...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes work in progress to develop a component-based software infrastructure, called Padico, for computational grids based on the CORBA Component Model from the OMG....