1948 search results - page 48 / 390 » Formalizing Mirror Theory |
TPHOL
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
FM
1999
Springer
14 years 1 months ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
RTCSA
1997
IEEE
14 years 27 days ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
ICSE
1994
IEEE-ACM
14 years 24 days ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
BPM
2006
Springer
14 years 13 days ago
2006
Springer
Interdependence between the subsystems of an enterprise is one of the driving reasons for integrating the enterprise. Integration attempts to manage those interdependencies so all ...