2050 search results - page 164 / 410 » A formal foundation for process modeling |
162
click to vote
AAAI
1998
15 years 8 months ago
1998
SSFisasystemtodiscoverthestructureofsimultaneous equations governing an objective process through experiments. SSF combined with another system SDS to discover a quantitative form...
186
click to vote
IWPSE
2010
IEEE
15 years 4 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
204
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
152
click to vote
SOCA
2007
IEEE
16 years 24 days ago
2007
IEEE
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing ...
191
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...