Sciweavers

626 search results - page 27 / 126
» Logical Foundations for Data Integration
Sort
View
UML
1999
Springer
14 years 26 days ago
Extending Architectural Representation in UML with View Integration
UML has established itself as the leading OO analysis and design methodology. Recently, it has also been increasingly used as a foundation for representing numerous (diagrammatic) ...
Alexander Egyed, Nenad Medvidovic
AQUILEIA
2011
142views more  AQUILEIA 2011»
12 years 8 months ago
Integrated Geophysical Study of Archaeological Sites in the Aquileia Area
Abstract. Integrated remote sensing and geophysical methods can provide detailed information about buried cultural heritage. We implemented an integrated survey protocol (IREGA, In...
Emanuele Forte, Michele Pipan, Monica Sugan
AIED
2005
Springer
14 years 2 months ago
Collaboration and Cognitive Tutoring: Integration, Empirical Results, and Future Directions
In this paper, we describe progress we have made toward providing cognitive tutoring to students within a collaborative software environment. First, we have integrated a collaborat...
Andreas Harrer, Bruce M. McLaren, Erin Walker, Lar...
SP
2006
IEEE
104views Security Privacy» more  SP 2006»
14 years 2 months ago
A Logic for Constraint-based Security Protocol Analysis
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
Ricardo Corin, Sandro Etalle, Ari Saptawijaya
VLDB
2004
ACM
151views Database» more  VLDB 2004»
14 years 1 months ago
Query Rewrite for XML in Oracle XML DB
Oracle XML DB integrates XML storage and querying using the Oracle relational and object relational framework. It has the capability to physically store XML documents by shredding...
Muralidhar Krishnaprasad, Zhen Hua Liu, Anand Mani...