684 search results - page 16 / 137 » Model Bus: Towards the Interoperability of Modelling Tools |
CAISE
2004
Springer
14 years 16 days ago
2004
Springer
Abstract. The paper presents an approach towards executing transactions between enterprises, governmental bodies and banking institutions, based on ERP applications connected over ...
SIMPRA
2008
13 years 8 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
The automatic reconstruction of 3D models from image sequences is still a very active field of research. All existing methods are designed for a given camera model, and a new (and...
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...
IFIP
2007
Springer
14 years 2 months ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...