959 search results - page 26 / 192 » Transfers between Logics and their Applications |
140
click to vote
BIRTHDAY
2005
Springer
15 years 11 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...
167
click to vote
ICST
2008
IEEE
16 years 14 days 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...
164
click to vote
APCCM
2006
15 years 7 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...
169
click to vote
FPL
2000
Springer
15 years 9 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...
203
click to vote
SAS
1991
Springer
15 years 9 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,...