959 search results - page 49 / 192 » Transfers between Logics and their Applications |
148
click to vote
FASE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
108
click to vote
ISCAS
2003
IEEE
15 years 7 months ago
2003
IEEE
the interconnection among the IP cores with all description levels This paper presents an automatic interconnection rectification (AIR)technique to correct the misplaced interconne...
140
click to vote
ISW
1997
Springer
15 years 5 months ago
1997
Springer
Signcryption is a new paradigm in public key cryptography that simultaneously fulfills both the functions of digital signature and public key encryption in a logically single step,...
132
click to vote
AAAI
2010
15 years 3 months ago
2010
Many machine learning applications that involve relational databases incorporate first-order logic and probability. Markov Logic Networks (MLNs) are a prominent statistical relati...
108
click to vote
SEUS
2005
IEEE
15 years 7 months ago
2005
IEEE
Nomadic computing environments are composed of heterogeneous mobile computing domains. Unfortunately, the service discovery platforms suitable for each domain are scarcely interop...