3468 search results - page 359 / 694 » An open logical framework |
143
Voted
CORR
2000
Springer
15 years 4 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
166
click to vote
AIIA
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
149
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Evidence-based decision making is becoming increasingly important in healthcare. Much valuable evidence is in the form of the results from clinical trials that compare th...
137
click to vote
CISIS
2010
IEEE
2010
IEEE
Semantic Integration of Heterogeneous Data Sources for Monitoring Frequent-Release Software Projects
15 years 11 months ago
Abstract—Open source software teams routinely develop complex software products in frequent-release settings with rather lightweight processes and project documentation. In this ...
163
click to vote
TEI
2010
ACM
15 years 11 months ago
2010
ACM
StitchRV is a fiducial and touch-tracking engine based on the popular reacTIVision fiducial tracking system. StitchRV combines video input from multiple cameras in real time, and ...