1705 search results - page 271 / 341 » Representing Constraints with Automata |
99
Voted
RE
2001
Springer
15 years 5 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
ACSAC
2000
IEEE
15 years 5 months ago
2000
IEEE
The widespread use of public networks, such as the Internet, for the exchange of sensitive data, like legally valid documents and business transactions, poses severe security cons...
97
Voted
ICIP
2000
IEEE
15 years 5 months ago
2000
IEEE
—A novel approach for color image denoising is proposed in this paper. The algorithm is based on separating the color data into chromaticity and brightness, and then processing e...
125
Voted
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract—In this paper we investigate the performance of multicast routing protocols in wireless mobile ad hoc networks. An ad hoc network is composed of mobile nodes without the...
106
click to vote
ASPDAC
2000
ACM
15 years 5 months ago
2000
ACM
Global placement of hypergraphs is critical in the top-down placement of large timing-driven designs 10, 16 . Placement quality is evaluated in terms of the half-perimeter wirelen...