381 search results - page 45 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
110
click to vote
ECBS
2007
IEEE
15 years 7 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
107
click to vote
NGC
2006
Springer
15 years 1 months ago
2006
Springer
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
108
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
FPL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper proposes an architecture that combines a contextswitching virtual configware/software SAT solver with an embedded processor to promote a tighter coupling betwe...
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...