8828 search results - page 1182 / 1766 » Formal methods in practice |
193
Voted
APSEC
2006
IEEE
15 years 9 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
226
Voted
DALT
2007
Springer
15 years 9 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
208
Voted
DAS
2008
Springer
15 years 9 months ago
2008
Springer
This article describes a sketch-based framework for semi-automatic annotation of historical document collections. It is motivated by the fact that fully automatic methods, while h...
176
Voted
CRITIS
2007
15 years 8 months ago
2007
DNS amplification attacks massively exploit open recursive DNS servers mainly for performing bandwidth consumption DDoS attacks. The amplification effect lies in the fact that DNS ...
229
click to vote
AAAI
2010
15 years 8 months ago
2010
Conjunctive query answering is a key reasoning service for many ontology-based applications. In order to improve scalability, many Semantic Web query answering systems give up com...