2623 search results - page 372 / 525 » Hoare Logic in the Abstract |
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
FPL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Increasing logic resources coupled with a proliferation of integrated performance enhancing primitives in high-end FPGAs results in an increased design complexity which r...
FPL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper proposes an architecture that combines a contextswitching virtual configware/software SAT solver with an embedded processor to promote a tighter coupling betwe...
ICCS
2004
Springer
15 years 3 months ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
RSCTC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper focuses on the use and interpretation of approximate databases where both rough sets and indiscernibility partitions are generalized and replaced by approximat...