Sciweavers

2935 search results - page 269 / 587
» An Integrated Approach to High Integrity Software Verificati...
Sort
View
WEBI
2005
Springer
16 years 2 days ago
QTIP: Multi-Agent NLP and Privacy Architecture for Information Retrieval in Usable Web Privacy Software
We present a generic natural language processing (NLP) architecture, acronym QTIL, based on a system of cooperating multiple agents (Q/A, T, I, and L agents) which can be used in ...
Vlado Keselj, Dawn N. Jutla
AAAI
2008
15 years 9 months ago
Examining Difficulties Software Developers Encounter in the Adoption of Statistical Machine Learning
Statistical machine learning continues to show promise as a tool for addressing complex problems in a variety of domains. An increasing number of developers are therefore looking ...
Kayur Patel, James Fogarty, James A. Landay, Bever...
IMECS
2007
15 years 8 months ago
On Extendable Software Architecture for Spam Email Filtering
—The research community and the IT industry have invested significant effort in fighting spam emails. There are many different approaches, ranging from white listing, black listi...
Wanli Ma, Dat Tran, Dharmendra Sharma
KBSE
2005
IEEE
16 years 6 days ago
Formal support for merging and negotiation
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
Shiva Nejati
JLP
2006
155views more  JLP 2006»
15 years 6 months ago
A formally grounded software specification method
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
Christine Choppy, Gianna Reggio