3495 search results - page 453 / 699 » On the random satisfiable process |
180
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
176
click to vote
TCS
2010
15 years 5 months ago
2010
Web services are distributed processes with a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting f...
170
click to vote
APWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--This paper provides a simple but effective approach, named ECON, to fully-automatically extract content from Web news page. ECON uses a DOM tree to represent the Web news...
180
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Clock network construction is one key problem in high performance VLSI design. Reducing the clock skew variation is one of the most important objectives during clock network synthe...
166
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. In the field of Security, process equivalences have been used to characterize various information-hiding properties (for instance secrecy, anonymity and non-interference)...