Sciweavers

6581 search results - page 420 / 1317
» Formalizing Design Patterns
Sort
View
GFKL
2007
Springer
164views Data Mining» more  GFKL 2007»
15 years 10 months ago
Classification with Invariant Distance Substitution Kernels
Kernel methods offer a flexible toolbox for pattern analysis and machine learning. A general class of kernel functions which incorporates known pattern invariances are invariant d...
Bernard Haasdonk, Hans Burkhardt
ADAEUROPE
2003
Springer
15 years 10 months ago
Quasar: A New Tool for Concurrent Ada Programs Analysis
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
Sami Evangelista, Claude Kaiser, Jean-Franç...
CAISE
2008
Springer
15 years 8 months ago
Timed Transition Discovery from Web Service Conversation Logs
Web service business protocols are of importance to both clients and providers, as they model the external behaviour of services. However, the business protocol is not always publ...
Didier Devaurs, Kreshnik Musaraj, Fabien De Marchi...
CSE
2009
IEEE
15 years 4 months ago
The Influence of Personalities Upon the Dynamics of Trust and Reputation
When an agent resides in a community, the opinion of other community members concerning whether a particular individual is trustworthy or not influences the trust level of this ag...
Mark Hoogendoorn, S. Waqar Jaffry
DAC
2002
ACM
16 years 7 months ago
A flexible accelerator for layer 7 networking applications
In this paper, we present a flexible accelerator designed for networking applications. The accelerator can be utilized efficiently by a variety of Network Processor designs. Most ...
Gokhan Memik, William H. Mangione-Smith