Sciweavers

3688 search results - page 412 / 738
» Static analysis of aspects
Sort
View
AICT
2007
IEEE
122views Communications» more  AICT 2007»
15 years 8 months ago
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks
— We describe a formal approach to the analysis of security aspects of an identity federation protocol for web services in convergent networks. This network protocol was proposed...
Maurice H. ter Beek, Corrado Moiso, Marinella Petr...
EPEW
2008
Springer
15 years 8 months ago
Natural Language Specification of Performance Trees
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
Lei Wang 0002, Nicholas J. Dingle, William J. Knot...
HCI
2007
15 years 8 months ago
Interfacing Safety and Communication Breakdowns: Situated Medical Technology Design
Safety-critical medical work requires an error-minded approach for design of the technologies that support its processes. We define the requirements that such a framework should me...
Svetlena Taneva, Effie Law
LREC
2008
123views Education» more  LREC 2008»
15 years 8 months ago
An Economic View on Human Language Technology Evaluation
This paper analyses some general issues about human language technology evaluation, focusing on economic aspects. It first provides a scientific rationale for the need to organize...
Edouard Geoffrois
DBA
2006
182views Database» more  DBA 2006»
15 years 8 months ago
Matrix Apriori: Speeding Up the Search for Frequent Patterns
This work discusses the problem of generating association rules from a set of transactions in a relational database, taking performance and accuracy of found results as the essent...
Judith Pavón, Sidney Viana, Santiago G&oacu...