Sciweavers

1061 search results - page 164 / 213
» Dependently Sorted Logic
Sort
View
IJIPT
2006
127views more  IJIPT 2006»
14 years 12 months ago
Distribution concerns in service-oriented modelling
Service-oriented development offers a novel architectural approach that addresses crucial characteristics of modern business process development such as dynamic evolution, intra- ...
Nasreddine Aoumeur, José Luiz Fiadeiro, Cri...
CORR
2007
Springer
123views Education» more  CORR 2007»
14 years 12 months ago
A Generic Analysis Environment for Curry Programs
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
Michael Hanus
ICTAC
2009
Springer
14 years 9 months ago
A First-Order Policy Language for History-Based Transaction Monitoring
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
Andreas Bauer 0002, Rajeev Goré, Alwen Tiu
SIGSOFT
2002
ACM
16 years 18 days ago
Improving program slicing with dynamic points-to data
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
Markus Mock, Darren C. Atkinson, Craig Chambers, S...
103
Voted
KDD
2008
ACM
174views Data Mining» more  KDD 2008»
16 years 8 days ago
Automatic identification of quasi-experimental designs for discovering causal knowledge
Researchers in the social and behavioral sciences routinely rely on quasi-experimental designs to discover knowledge from large databases. Quasi-experimental designs (QEDs) exploi...
David D. Jensen, Andrew S. Fast, Brian J. Taylor, ...