Sciweavers

483 search results - page 75 / 97
» Representing Knowledge about Norms
Sort
View
FASE
2009
Springer
15 years 3 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
SBIA
2000
Springer
15 years 3 months ago
User profiling with Case-Based Reasoning and Bayesian Networks
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...
Silvia N. Schiaffino, Analía Amandi
CIKM
2008
Springer
15 years 1 months ago
MashQL: a query-by-diagram topping SPARQL
This article is motivated by the importance of building web data mashups. Building on the remarkable success of Web 2.0 mashups, and specially Yahoo Pipes, we generalize the idea ...
Mustafa Jarrar, Marios D. Dikaiakos
APSEC
2008
IEEE
15 years 1 months ago
Risks and Risk Management in Software Architecture Evolution: An Industrial Survey
The effort that has been made to study risk management in the context of software architecture and its evolution, has so far focused on output from structured evaluations. However...
Odd Petter N. Slyngstad, Reidar Conradi, Muhammad ...
BNCOD
2003
138views Database» more  BNCOD 2003»
15 years 1 months ago
Aggregate Table-Driven Querying via Navigation Ontologies in Distributed Statistical Databases
In this paper we describe a query paradigm based on ontologies, aggregate table-driven querying and expansion of QBE. It has two novel features: visually specifying aggregate table...
Yaxin Bi, David A. Bell, Joanne Lamb