2050 search results - page 36 / 410 » A formal foundation for process modeling |
114
click to vote
DAC
2001
ACM
16 years 2 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
120
Voted
AICCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
s: Software Foundations Modeling Redundancy: Quantitative and Qualitative Models .......................................................43 Ali Mili............New Jersey Institute ...
107
click to vote
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
132
click to vote
VISUALIZATION
1994
IEEE
15 years 6 months ago
1994
IEEE
We will try to address the need for a formal foundation for visualization by taking an analytic approach to defining D. Since an arbitrary function D: U V will not produce display...
153
click to vote
STORYTELLING
2005
Springer
15 years 7 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....