4666 search results - page 689 / 934 » Equations on Timed Languages |
125
click to vote
ER
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. World wide web has gained a lot of prominence with respect to information retrieval and data delivery. With such a prolific growth, a user interested in a specific change...
149
click to vote
FIDJI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. MoCha is an exogenous coordination middleware for distributed communication based on mobile channels. Channels allow anonymous, and point-to-point communication among nod...
183
click to vote
GRID
2004
Springer
15 years 10 months ago
2004
Springer
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A simple nonconstructive argument shows that most 3CNF formulas with cn clauses (where c is a large enough constant) are not satisfiable. It is an open question whether ...
122
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
: Constructing a certification path is the mainly method of validating a certificate at given time. The established path will consist of all the valid certificates that reside betw...