4350 search results - page 647 / 870 » Case studies for contract-based systems |
128
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
159
click to vote
ISI
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper, we report our work on developing and evaluating a prototype system aimed at addressing the information monitoring and sharing challenges in the law enforce...
147
click to vote
ICDM
2002
IEEE
15 years 9 months ago
2002
IEEE
Current Data Mining techniques usually do not have a mechanism to automatically infer semantic features inherent in the data being “mined”. The semantics are either injected i...
156
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— We study the problem of maximizing the aggregated revenue in sensor networks with deadline constraints. Our model is that of a sensor network that is arranged in the fo...
120
click to vote
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
In order to maintain the consistency between sources and documentation, while at the same time providing documentation at the design level, it is necessary to generate documentati...