15635 search results - page 185 / 3127 » A Designing Model of XML-Dataweb |
153
click to vote
ICWE
2003
Springer
15 years 11 months ago
2003
Springer
The development process of hypermedia applications involves a variety of users with different levels of knowledge and skills. In order to get a good communication among participa...
171
click to vote
DASFAA
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we describe the design and implementation of a CORBA Query Service targeted to access data that is defined by the EXPRESS data modeling language. EXPRESS is used pri...
135
click to vote
GLVLSI
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper proposes a new fault coverage estimation model which can be used in the early stage of VLSI design. The fault coverage model is an exponentially decaying function with ...
224
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes a new design methodology to analyze the on-chip power supply noise for high performance microprocessors. Based on an integrated package-level and chip-level p...
189
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...