11022 search results - page 151 / 2205 » Programming Systems for Autonomy |
137
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
135
Voted
ICALT
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents the concepts of our MoRob (Modular Educational Robotic Toolbox) project, which aims to provide a robot platform for university teaching and research. Character...
155
click to vote
LOPSTR
1995
Springer
15 years 8 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
160
click to vote
WOA
2010
15 years 2 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
155
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...