1950 search results - page 177 / 390 » Lambda-Free Logical Frameworks |
150
click to vote
DSD
2008
IEEE
16 years 1 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...
147
click to vote
ICRA
2008
IEEE
16 years 1 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...
151
click to vote
ISCC
2007
IEEE
16 years 28 days 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...
177
click to vote
CIA
2007
Springer
16 years 25 days 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...
174
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Several description frameworks to semantically describe and match services on the one hand and service requests on the other have been presented in the literature. Many of the curr...