1332 search results - page 102 / 267 » ideas 2008 |
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We propose a concept that combines the cognitive with the computational approaches to experience-based trust reasoning. We emphasize that a cognitive component is vital for computa...
120
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
113
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
78
Voted
CDC
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper we present a novel algorithm to identify LPV systems with affine parameter dependence operating under open and closed-loop conditions. A factorization is introduced w...
CF
2008
ACM
15 years 1 months ago
2008
ACM
We develop architectural techniques for mitigating the impact of process variability. Our techniques hide the performance effects of slow components--including registers, function...