Sciweavers

417 search results - page 34 / 84
» The Start of an Eiffel Standard
Sort
View
COMSIS
2004
110views more  COMSIS 2004»
13 years 7 months ago
Generating XML Based Specifications of Information Systems
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
Miro Govedarica, Ivan Lukovic, Pavle Mogin
EMISA
2002
Springer
13 years 7 months ago
The biology Petri net markup language
: In this paper a proposal for the Biology Petri Net Markup Language (BioPNML) is presented. The concepts and terminology of the interchange format as well as its syntax that is ba...
Ming Chen, Andreas Freier, Jacob Köhler, Alex...
TOPLAS
2002
116views more  TOPLAS 2002»
13 years 7 months ago
Type-preserving compilation of Featherweight Java
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...
Christopher League, Zhong Shao, Valery Trifonov
KES
2010
Springer
13 years 6 months ago
Improving Communication Using 3D Animation
This paper presents a high level view of a project which aims at improving the communication between people who do not share the same language by using a 3D animation upper layer t...
Laurent Ruhlmann, Benoît Ozell, Michel Gagno...
TRANSCI
2010
101views more  TRANSCI 2010»
13 years 6 months ago
Computing Time-Dependent Bid Prices in Network Revenue Management Problems
We propose a new method to compute bid prices in network revenue management problems. The novel aspect of our method is that it naturally provides dynamic bid prices that depend o...
Sumit Kunnumkal, Huseyin Topaloglu