3778 search results - page 256 / 756 » Representing Web Graphs |
189
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
193
click to vote
IQ
2007
15 years 8 months ago
2007
The measurement of the Data Quality is or should be a critical issue for Web portal users and developers. For the former, the evaluation of data quality is necessary as it ensures ...
170
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
We propose a hybrid genetic algorithm for partitioning a VLSI circuit graph into two disjoint graphs of minimum cut size. The algorithm includes a local optimization heuristic whic...
147
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Partial order methods, such as the stubborn set method and the priority method, reduce verification effort by exploiting irrelevant orders of events. We show how the stubborn set...
162
click to vote
ASPDAC
2000
ACM
15 years 10 months ago
2000
ACM
- This paper describes the design and implementation of a reconfigurable synchronized dataflow processor (RSDP). The RSDP can configure its hardware to directly represent dataflow ...