3429 search results - page 147 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
DBSEC
2000
15 years 3 months ago
2000
We propose two extensions to the SQL grant/revoke security model. In SQL, grants are unconditional, so the grantor must simply trust the recipient's discretion. We allow a gr...
106
click to vote
ACSD
2009
IEEE
15 years 9 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
109
click to vote
TEC
2002
15 years 2 months ago
2002
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
125
click to vote
ICCS
2000
Springer
15 years 6 months ago
2000
Springer
With the aim of building a "Semantic Web", the content of the documents must be explicitly represented through metadata in order to enable contents-guided search. Our app...
105
Voted
DLOG
2003
15 years 3 months ago
2003
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...