1009 search results - page 189 / 202 » transML: A Family of Languages to Model Model Transformation... |
ICMB
2006
IEEE
14 years 1 months ago
2006
IEEE
Clinical studies are often conducted as multi-centered studies involving participants at different locations. Thus it becomes obvious that using mobile platforms and remote data e...
SLOGICA
2002
13 years 7 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
VLSID
2002
IEEE
14 years 8 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...
SIGMOD
2007
ACM
14 years 7 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...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...