Sciweavers

4690 search results - page 264 / 938
» An operational semantics for Scheme
Sort
View
WEBI
2004
Springer
16 years 1 days ago
An Ontology-based Approach to Retrieve Digitized Art Images
Although much progress has been made, current lowlevel based visual information retrieval technology does not allow users to formulate queries through high-level semantics. More a...
Shuqiang Jiang, Tiejun Huang, Wen Gao
ICSE
1994
IEEE-ACM
15 years 10 months ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan
ESWS
2008
Springer
15 years 8 months ago
The Principle of Self-Description: Identity Through Linking
Abstract. If one wants to have a scheme for identifying non-Web accessible entities, should it be centralized or decentralized? Given a URI, how can one tell if it refers to a web ...
Harry Halpin
DLOG
2003
15 years 8 months ago
Description Logic Terminology
The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook. More information and explanations...
Franz Baader
IOLTS
2007
IEEE
110views Hardware» more  IOLTS 2007»
16 years 1 months ago
An Elliptic Curve Cryptosystem Design Based on FPGA Pipeline Folding
In this paper we present an efficient design technique for implementing the Elliptic Curve Cryptographic (ECC) Scheme in FPGAs. Our technique is based on a novel and efficient i...
Osama Al-Khaleel, Christos A. Papachristou, Franci...