8083 search results - page 1257 / 1617 » A Formalization of Software Architecture |
229
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
277
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...
192
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Owing to the ever growing complexity of present day computer vision systems, system architecture has become an emerging topic in vision research. Systems that integrate numerous m...
164
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
While the number of embedded systems in consumer electronics is growing dramatically, several trends can be observed which challenge traditional codesign practice: An increasing s...
160
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Watermarking of hardware and software designs is an effective mechanism for intellectual property protection (IPP). Two important criteria for watermarking schemes are credibility...