2661 search results - page 451 / 533 » Model Checking Performability Properties |
WS
2005
ACM
14 years 3 months ago
2005
ACM
Many key pre-distribution techniques have been developed recently to establish pairwise keys for wireless sensor networks. To further improve these schemes, researchers have propo...
WEBI
2005
Springer
14 years 3 months ago
2005
Springer
Structured link vector model (SLVM) is a recently proposed document representation that takes into account both structural and semantic information for measuring XML document simi...
CF
2004
ACM
14 years 3 months ago
2004
ACM
This paper presents a fault tolerant design technique for the clockless wave pipeline. The specific architectural model investigated in this paper is the two-phase clockless asyn...
SMA
2003
ACM
14 years 3 months ago
2003
ACM
In this paper we present a new algorithm for solving the data dependent fairing problem for subdivision surfaces, using Catmull-Clark surfaces as an example. Earlier approaches to...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper proposes a strategy referred to as Stability Overlay (SO) for linear and nonlinear time-varying plants, that provides input/output stability guarantees for a wide se...