417 search results - page 26 / 84 » The Start of an Eiffel Standard |
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
A recently adopted standard, the Mixed Raster Content (MRC) imaging model, represents compound images as a superposition of layers. Since layers are superimposed, large regions ma...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
This paper deals with the development and use of business cases in support of cross-organizational enterprise resource planning (ERP)-enabled e-business integration initiatives. I...
COST
2009
Springer
14 years 3 months ago
2009
Springer
While developing lexical resources for a particular language variety (Viennese), we experimented with a set of 5 different phonetic encodings, termed phone sets, used for unit sel...
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Knowledge-based software engineering enables a programmer to integrate rich semantics in the software development process. In this work, we show how an OWL/RDF knowledge base can ...
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
14 years 3 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...