1648 search results - page 188 / 330 » Structuring namespace descriptions |
145
click to vote
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
138
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
We present a methodology for the watermarking of synchronous sequential circuits that makes it possible to identify the authorship of designs by imposing a digital watermark on th...
140
click to vote
DASFAA
1999
IEEE
15 years 8 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...
130
click to vote
ICMCS
1999
IEEE
15 years 8 months ago
1999
IEEE
We submit a method (EMPI: Evaluation of Multimedia, Pedagogical and Interactive software) to evaluate multimedia software used in educational context. Our purpose is to help users...
121
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
We analyze a class of mechanisms that locomote by switching between constraints. Because of the hybrid nature of such systems, most of the existing analysis tools, developed prima...