20306 search results - page 322 / 4062 » Business Modelling Is Not Process Modelling |
166
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
189
click to vote
CVDB
2004
ACM
16 years 6 days ago
2004
ACM
Capture, processing, and assimilation of digital media-based information such as video, images, or audio requires a unified framework within which signal processing techniques and...
181
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
138
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
ARIA, ARchitecture for Interactive Arts, is a middleware to process, filter, and fuse sensory inputs and actuate responses in real-time. An ARIA media processing workflow descri...
163
click to vote
ICSE
1994
IEEE-ACM
15 years 11 months ago
1994
IEEE-ACM
In trying to understandand redesign software processes, it is often necessaryto have an understanding of the "whys" that underliethe "whats"