3931 search results - page 470 / 787 » Separation logic and abstraction |
170
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract-- In this paper, we introduce the class of semiseparable kernel functions for use in constructing Lyapunov functions for distributed-parameter systems such as delaydiffere...
123
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...
192
click to vote
COORDINATION
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
189
click to vote
COORDINATION
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...
192
click to vote
DCOSS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. A number of recently proposed mobile sensor network architectures rely on uncontrolled, or weakly-controlled mobility to achieve sensing coverage over time at low cost, a...