959 search results - page 26 / 192 » Transfers between Logics and their Applications |
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
This paper addresses the question of factoring a logic into families of (generally simpler) components, estimating the top– down perspective, splitting, versus the bottom–up, s...
119
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
117
click to vote
APCCM
2006
15 years 3 months ago
2006
Network Data Mining identifies emergent networks between myriads of individual data items and utilises special algorithms that aid visualisation of `emergent' patterns and tre...
119
click to vote
FPL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents an innovative architecture for a reconfigurable device that allows single cycle context switching and single cycle random access to the unified on-chi...
153
click to vote
SAS
1991
Springer
15 years 5 months ago
1991
Springer
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...