SFM
15 years 2 months ago
2005 Springer 
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
IFL
15 years 2 months ago
2005 Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
117
click to vote
FCA
15 years 2 months ago
2005 Springer 
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
100
click to vote
ZUM
15 years 2 months ago
2005 Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...
FCA
15 years 2 months ago
2005 Springer 
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
|
Formal Methods