3733 search results - page 187 / 747 » Logics of communication and change |
ENTCS
2006
15 years 1 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
KI
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
121
click to vote
MSWIM
2003
ACM
15 years 6 months ago
2003
ACM
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
124
click to vote
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
110
click to vote
TCAD
2002
15 years 1 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...