Sciweavers

575 search results - page 85 / 115
» Developments in Spatio-Temporal Query Languages
Sort
View
MODELS
2007
Springer
15 years 5 months ago
Finding the Pattern You Need: The Design Pattern Intent Ontology
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
Holger Kampffmeyer, Steffen Zschaler
ICSE
2005
IEEE-ACM
15 years 12 months ago
Verification and change-impact analysis of access-control policies
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyero...
KDD
2004
ACM
171views Data Mining» more  KDD 2004»
16 years 5 days ago
Integrating Web Conceptual Modeling and Web Usage Mining
We present a case study about the application of the inductive database approach to the analysis of Web logs. We consider rich XML Web logs ? called conceptual logs ? that are gen...
Rosa Meo, Pier Luca Lanzi, Maristella Matera, Robe...
SAC
2010
ACM
14 years 12 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
ICALT
2006
IEEE
15 years 5 months ago
LIMBS: Open Source, Open Standards, and Open Content To Foster Learning Resource Exchanges
LIMBS is an open source brokerage system developed in the framework of the CALIBRATE project. LIMBS relies on open standards and open contents to promote exchanges of learning res...
Jean-Noel Colin, David Massart