3028 search results - page 425 / 606 » Integrating Temporal Logics |
131
click to vote
DFT
1999
IEEE
15 years 9 months ago
1999
IEEE
A programmable single-chip multiprocessor system for video coding has been developed. The system is implemented in a high-performance 0.25 m logic/embedded DRAM process. It integr...
169
click to vote
DEXAW
2007
IEEE
15 years 8 months ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
154
click to vote
ENVSOFT
2002
15 years 4 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
149
click to vote
RTCSA
1998
IEEE
15 years 9 months ago
1998
IEEE
Advances in the computer technology encouraged the avionics industry to replace the federated design of control units with an integrated suite of control modules that share the co...
236
Voted
ICDT
2009
ACM
16 years 5 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...