498 search results - page 8 / 100 » From Language to Time: A Temporal Expression Anchorer |
161
click to vote
ICCL
1994
IEEE
15 years 9 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
159
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
203
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: The analysis of gene expression from time series underpins many biological studies. Two basic forms of analysis recur for data of this type: removing inactive (quiet) ...
205
click to vote
TIME
2009
IEEE
16 years 21 days ago
2009
IEEE
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
183
click to vote
VMCAI
2010
Springer
16 years 29 days ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...