119 search results - page 11 / 24 » The Development of a Simplified Process Model for CBSD |
WSC
2004
14 years 10 months ago
2004
To assist the decision makers, we develop a new supply chain simulation software: Easy-SC, a Java-based tool that simplifies the supply chain simulation. In its current state of d...
ASWEC
2010
IEEE
14 years 9 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
ECMDAFA
2005
Springer
15 years 2 months 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...
91
Voted
CASCON
2007
14 years 11 months ago
2007
The management of non-functional goals, or Service Level Agreements (SLA), in the development of business processes in a Service Oriented Architecture often requires much manual a...
RE
2001
Springer
15 years 1 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...