1438 search results - page 108 / 288 » An Expressive Extension of TLC |
103
Voted
FMSD
2006
15 years 24 days ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
108
Voted
JAPLL
2008
15 years 24 days ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
CORR
2007
Springer
15 years 23 days ago
2007
Springer
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...
109
click to vote
CORR
2007
Springer
15 years 23 days ago
2007
Springer
In this paper, we study a natural extension of Multi-Layer Perceptrons (MLP) to functional inputs. We show that fundamental results for classical MLP can be extended to functional...
104
Voted
JOT
2007
15 years 21 days ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...