1167 search results - page 148 / 234 » A Really Temporal Logic |
121
click to vote
TOH
2008
15 years 1 months ago
2008
The last few years have seen many exciting developments in the area of tactile and multisensory interface design. One of the most rapidly moving practical application areas for the...
137
click to vote
PVLDB
2010
14 years 12 months ago
2010
Analysts have marked Event Processing as the most growing segment in enterprise computing during years 2008 and 2009, furthermore, this trend is expected to continue. Many of the ...
128
click to vote
DASC
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
115
click to vote
AI
2004
Springer
15 years 1 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
142
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...