Sciweavers

675 search results - page 32 / 135
» Generating Business Process Models from Object Behavior Mode...
Sort
View
GI
2005
Springer
15 years 6 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
DATE
1999
IEEE
172views Hardware» more  DATE 1999»
15 years 5 months ago
An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
Olivier Pasquier, Jean Paul Calvez
ICMB
2006
IEEE
132views Business» more  ICMB 2006»
15 years 7 months ago
Generating User Interfaces from CDISC ODM for Mobile Devices
Clinical studies are often conducted as multi-centered studies involving participants at different locations. Thus it becomes obvious that using mobile platforms and remote data e...
Guido M. de Melo, Jürgen Nagler-Ihlein, Micha...
CODES
1999
IEEE
15 years 5 months ago
A unified formal model of ISA and FSMD
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
Jianwen Zhu, Daniel Gajski
ACMICEC
2005
ACM
156views ECommerce» more  ACMICEC 2005»
15 years 6 months ago
A web services-based business interactions manager to support electronic commerce applications
Electronic commerce applications (e-commerce) need connecting technologies to support the external, agreed-upon or flexible business processes. This requires a specification of th...
Youcef Baghdadi