937 search results - page 154 / 188 » On the Complexity of Partial Order Properties |
127
click to vote
COSIT
2007
Springer
15 years 8 months ago
2007
Springer
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...
108
click to vote
EUC
2007
Springer
15 years 8 months ago
2007
Springer
Today, proprietary home automation targets very specific applications which operate mostly on a cable based infrastructure. In contrast to that, our implementation builds a wirele...
119
click to vote
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
101
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— With the explosive growth of network techniques, in particular wireless communications, the traditional centralized, fixed networks can no longer satisfy the enormous demands ...
104
click to vote
CSB
2005
IEEE
15 years 7 months ago
2005
IEEE
Information technology research has played a significant role in the high-throughput acquisition and analysis of biological information. The tremendous amount of information gath...