4211 search results - page 71 / 843 » A formal approach to MASQ |
JURIX
2008
14 years 11 months ago
2008
The paper presents a logic-based approach to legislative meta-drafting. A class of meta-data, corresponding to specific classes of legal provisions, is introduced and discussed. Su...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper formalizes the concept of Collective Intelligence (C-I). Application of the Random PROLOG Processor (RPP) has allowed us to model the phenomenon of C-I in social structu...
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
JISE
2008
14 years 9 months ago
2008
business requirement in the real world cannot be abstracted correctly into an entity-relationship schema. Once core entities are discovered, we can obtain an Entity-Relationship Di...
BTW
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Extract-transform-load (ETL) tools are primarily designed for data warehouse loading, i.e. to perform physical data integration. When the operational data sources happen ...