10458 search results - page 1584 / 2092 » Modeling Features at Runtime |
135
click to vote
ICEIS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract: The work described in this article arises from two needs. First, there is still a need for providing more sophisticated database systems than just relational ones. Second...
158
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Progressive sequence model refinement by means of iterative searches is an effective technique for high sensitivity database searches and is currently employed in popular tools s...
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper deals with Hybrid multisite testing of VLSI chips by utilizing automatic test equipment (ATE) in connection with built-in self-test (BIST). The performance of a multisi...
136
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
176
click to vote
TIME
2003
IEEE
15 years 10 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...