2050 search results - page 245 / 410 » A formal foundation for process modeling |
176
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
199
Voted
FORMATS
2004
Springer
16 years 1 days ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
136
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Non-functional properties (NFPs) concern various characteristics of a system (cost, power, QoS). These characteristics belong to different models of the system, built by...
171
click to vote
ISCIS
2004
Springer
16 years 1 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
175
click to vote
ECMDAFA
2005
Springer
16 years 6 days ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...