Search Sciweavers | Sciweavers

6047 search results - page 1 / 1210

» Modeling with Extend

click to vote

INFSOF
2011

92views more INFSOF 2011»

Modeling process-related RBAC models with extended UML activity models

12 years 11 months ago

Download wi.wu-wien.ac.at

Mark Strembeck, Jan Mendling

claim paper

Read More »

click to vote

FMOODS
2007

119views Formal Methods» more FMOODS 2007»

Model Checking of Extended OCL Constraints on UML Models in SOCLe

13 years 6 months ago

Download www.polymtl.ca

We present the ﬁrst tool that offers dynamic veriﬁcation of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...

John Mullins, Raveca Oarga

claim paper

Read More »

click to vote

WSC
1997

223views Modeling And Simulation» more WSC 1997»

Using SiMPLE++ for Improved Modeling Efficiencies and Extending Model Life Cycles

13 years 6 months ago

Download www.informs-sim.org

SiMPLE++ is an object-oriented simulation environment for modeling all types of manufacturing, logistics and service systems. AESOP’s SiMPLE++ is a fully object-oriented impleme...

David R. Kalasky, Gerald A. Levasseur

claim paper

Read More »

click to vote

MMM
2003
Springer

152views Multimedia» more MMM 2003»

Modeling Video Data for Content Based Queries: Extending the DISIMA Image Data Model

13 years 10 months ago

Download softbase.uwaterloo.ca

Lei Chen 0002, M. Tamer Özsu, Vincent Oria

claim paper

Read More »