12981 search results - page 2073 / 2597 » Model Checking (Abstract) |
231
click to vote
ACNS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Several researchers have proposed the use of threshold cryptographic model to enable secure communication in ad hoc networks without the need of a trusted center. In this...
237
click to vote
CSWWS
2006
15 years 11 months ago
2006
Abstract. Heterogeneity is an inherent characteristic of open and distributed environments like the Internet that can hamper Web resources and Web services from successful interope...
200
click to vote
DCOSS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We consider the problem of estimating vector-valued variables from noisy "relative" measurements. The measurement model can be expressed in terms of a graph, wh...
209
click to vote
DCOSS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Resource constrained systems often are programmed using an eventbased model. Many applications do not lend themselves well to an event-based approach, but preemptive mult...
188
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. A well-known difficulty with solving Constraint Satisfaction Problems (CSPs) is that, while one formulation of a CSP may enable a solver to solve it quickly, a different ...