3468 search results - page 418 / 694 » An open logical framework |
148
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
122
click to vote
DSD
2008
IEEE
15 years 11 months ago
2008
IEEE
Although preliminary analysis frameworks point out the performance speed-ups achievable by on-chip networks with respect to state-of-the-art interconnects, the area concern remain...
118
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...
115
click to vote
ISCC
2007
IEEE
15 years 10 months ago
2007
IEEE
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...
145
click to vote
CIA
2007
Springer
15 years 10 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...