2748 search results - page 368 / 550 » Generating Object-Z Specifications from Use Cases |
155
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
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...
147
click to vote
MICRO
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Many shared-memory parallel systems use lockbased synchronization mechanisms to provide mutual exclusion or reader-writer access to memory locations. Software locks are i...
159
click to vote
APPROX
2008
Springer
15 years 6 months ago
2008
Springer
Let H be a graph, and let CH(G) be the number of (subgraph isomorphic) copies of H contained in a graph G. We investigate the fundamental problem of estimating CH(G). Previous res...
160
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
122
click to vote
LREC
2008
2008
What would you Ask a conversational Agent? Observations of Human-Agent Dialogues in a Museum Setting
15 years 5 months ago
Embodied Conversational Agents have typically been constructed for use in limited domain applications, and tested in very specialized environments. Only in recent years have there...