1886 search results - page 71 / 378 » Modeling and Enacting Software Processes Using VRPML |
167
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Applications such as layered manufacturing, or in general, solid free-form fabrication, pose a major challenge on online process control. For these parts to be functional, it is i...
160
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
134
click to vote
IADIS
2003
15 years 6 months ago
2003
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
151
Voted
C3S2E
2009
ACM
15 years 8 months ago
2009
ACM
Most database systems (DBMSs) today are operating on servers equipped with magnetic disks. In our contribution, we want to motivate the use of two emerging and striking technologi...
140
click to vote
IJWIS
2008
15 years 4 months ago
2008
ed Abstract: Purpose of this paper Software Product Line (SPL) is at the forefront among the techniques for reducing costs, decreasing schedule time, and ensuring commonality of fe...