690 search results - page 80 / 138 » Testing Temporal Logic Properties in Distributed Systems |
153
click to vote
JSC
2010
14 years 7 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
93
Voted
FSKD
2005
Springer
15 years 6 months ago
2005
Springer
The prediction of epileptic seizures is a very attractive issue for all patients suffering from epilepsy in EEG (electroencephalograph) signals. It can assist to develop an interve...
118
click to vote
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
88
Voted
COLING
2008
15 years 2 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
88
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we present the Behaviosite paradigm, a new approach to affecting the behavior of distributed agents in a multiagent system, which is inspired by biological parasites ...