Sciweavers

6607 search results - page 298 / 1322
» Making TeX Work
Sort
View
SDMW
2004
Springer
15 years 9 months ago
Abstracting and Refining Authorization in SQL
ing and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore1 The SQL standard specifies authorization via a large set of rather opaque rules, which are difficult to unders...
Arnon Rosenthal, Edward Sciore
SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
15 years 9 months ago
On the Semantic Foundations of Standard UML 2.0
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
Bran Selic
SGAI
2004
Springer
15 years 9 months ago
Resource Allocation in Communication Networks Using Market-Based Agents
This work describes a system that allocates end-to-end bandwidth, in a switched meshed communications network. The solution makes use of market-based software agents that compete ...
Nadim Haque, Nicholas R. Jennings, Luc Moreau
WEBI
2004
Springer
15 years 9 months 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
APSEC
2003
IEEE
15 years 9 months ago
Case study: Reconnaissance techniques to support feature location using RECON2
Change requests are often formulated into concepts or features that a maintainer can understand. One of the main issues faced by a maintainer is to know and locate “where does t...
Suhaimi Ibrahim, Norbik Bashah Idris, Aziz Deraman