5066 search results - page 590 / 1014 » Spectra of structures and relations |
193
click to vote
EUSAI
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. With the emerging mass production of very small, cheap Radio Frequency Identification (RFID) tags, it is becoming feasible to deploy such tags on a large scale. In this ...
154
click to vote
EWSA
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
171
click to vote
GI
2004
Springer
16 years 8 days ago
2004
Springer
: Smart environments are often populated by resource-restricted devices that need to cooperate with each other in order to access remote sensors and benefit from other devices’ ...
163
click to vote
ICALP
2004
Springer
16 years 8 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
184
click to vote
KR
2004
Springer
16 years 7 days ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...