488 search results - page 12 / 98 » On the Formal Generation of Process Redesigns |
CAD
1998
Springer
14 years 11 months ago
1998
Springer
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...
ICASSP
2007
IEEE
15 years 3 months ago
2007
IEEE
Thanks to a specific formalism for signal generation, it is possible to transpose an image processing problem to an array processing problem. For straight line characterization, t...
106
click to vote
ISF
2006
14 years 11 months ago
2006
The development of complex products, such as automobiles, involves engineering changes that frequently require redesigning or altering the products. Although it has been found that...
103
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
116
click to vote
IJCSA
2006
14 years 11 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...