219 search results - page 16 / 44 » Towards Hilbertian Formal Methods |
COMMA
2006
13 years 11 months ago
2006
In this paper two formal dialectic systems are described, a persuasion protocol (PP0) and a negotiation protocol (NP0), together with a method for shifting from an instance of a pe...
MKM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
ISCAS
2005
IEEE
14 years 3 months ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
EUROMICRO
2009
IEEE
14 years 4 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
IFL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...