Sciweavers

1419 search results - page 171 / 284
» Notes on Formalizing Context
Sort
View
78
Voted
HICSS
2007
IEEE
98views Biometrics» more  HICSS 2007»
15 years 7 months ago
Electricity industry restructuring in Australia: underlying principles and experience to date
Electricity restructuring is a complex, never-ending process that has engineering, economic, social, commercial, legal and policy dimensions and takes place within a broad societa...
Hugh Outhred
ICDE
2007
IEEE
164views Database» more  ICDE 2007»
15 years 7 months ago
An Integer Linear Programming Approach to Database Design
Existing index selection tools rely on heuristics to efficiently search within the large space of alternative solutions and to minimize the overhead of using the query optimizer ...
Stratos Papadomanolakis, Anastassia Ailamaki
CSCLP
2007
Springer
15 years 7 months ago
A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games
The notion of optimality naturally arises in many areas of applied mathematics and computer science concerned with decision making. Here we consider this notion in the context of ...
Krzysztof R. Apt, Francesca Rossi, Kristen Brent V...
ER
2007
Springer
103views Database» more  ER 2007»
15 years 7 months ago
Ontological Semantics for the Use of UML in Conceptual Modeling
Despite its origins in software modeling, there has been growing interest in using the Unified Modeling Language (UML) for conceptual modeling of application domains. However, the...
Xueming Li, Jeffrey Parsons
ESORICS
2007
Springer
15 years 7 months ago
Completeness of the Authentication Tests
Protocol participants manipulate values, transforming the cryptographic contexts in which they occur. The rules of the protocol determine which transformations are permitted. We fo...
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Th...