417 search results - page 26 / 84 » The Start of an Eiffel Standard |
144
click to vote
ICIP
2000
IEEE
16 years 7 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...
155
click to vote
SAC
2009
ACM
16 years 27 days 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...
144
click to vote
COST
2009
Springer
16 years 20 days 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...
158
click to vote
COMPSAC
2007
IEEE
16 years 13 days 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 ...
134
click to vote
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
16 years 11 days 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...