Search Sciweavers | Sciweavers

77016 search results - page 95 / 15404

» Modeling Modeling

116

click to vote

CAISE
2000
Springer

87views Information Technology» more CAISE 2000»

A Formal Model for Business Process Modeling and Design

15 years 6 months ago

Download www.imamu.edu.sa

We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...

Manolis Koubarakis, Dimitris Plexousakis

claim paper

Read More »

101

click to vote

GLVLSI
1999
IEEE

93views VLSI» more GLVLSI 1999»

The Development of Analog SPICE Behavioral Model Based on IBIS Model

15 years 6 months ago

Download www.cs.york.ac.uk

Ying Wang, Han Ngee Tan

claim paper

Read More »

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

Optimizing Symbolic Model Checking for Constraint-Rich Models

15 years 6 months ago

Download www.cs.cmu.edu

Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...

claim paper

Read More »

click to vote

COOPIS
1998
IEEE

135views Information Technology» more COOPIS 1998»

Action Port Model: A Mixed Paradigm Conceptual Workflow Modeling Language

15 years 6 months ago

Download www.idi.ntnu.no

S. Carlsen

claim paper

Read More »

117

click to vote

EKAW
1997
Springer

134views Information Technology» more EKAW 1997»

An Enterprise reference Scheme for Integrating Model Based Knowledge Engineering and Enterprise Modelling

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers