2608 search results - page 384 / 522 » Subjects, Models, Languages, Transformations |
183
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
259
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
This paper extends relational processing and optimization to the FISQL/FIRA languages for dynamic schema queries over multidatabases. Dynamic schema queries involve the creation a...
194
click to vote
VMCAI
2010
Springer
16 years 1 months 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...
142
click to vote
ACII
2007
Springer
16 years 20 days ago
2007
Springer
In this paper, we address the tasks of recognition and interpretation of affect communicated through text messaging. The evolving nature of language in online conversations is a ma...
161
click to vote
FROCOS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...