2957 search results - page 341 / 592 » Processing Self Corrections |
176
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
148
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
The advent of tagging and folksonomies for organizing shared resources on the social Web brought promising opportunities to help communities of users capture their knowledge. Howe...
163
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
Most known constructions of probabilistically checkable proofs (PCPs) either blow up the proof size by a large polynomial, or have a high (though constant) query complexity. In thi...
177
click to vote
EDOC
2000
IEEE
15 years 11 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
189
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
Split execution is a common model for providing a friendly environment on a foreign machine. In this model, a remotely executing process sends some or all of its system calls back...