6320 search results - page 1033 / 1264 » Towards Situated Computing |
133
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
139
click to vote
HT
2003
ACM
15 years 9 months ago
2003
ACM
Through scenarios in the popular press and technical papers in the research literature, the promise of the Semantic Web has raised a number of different expectations. These expect...
146
click to vote
MSWIM
2003
ACM
15 years 9 months ago
2003
ACM
– Wireless mobile access to the Internet is an indispensable tool for private and corporate users alike; but both industry and academia recognize the need for better service. Imp...
135
click to vote
SENSYS
2003
ACM
15 years 9 months ago
2003
ACM
In this paper we examine the role of very simple and noisy sensors for the tracking problem. We propose a binary sensor model, where each sensor’s value is converted reliably to...
138
click to vote
ASM
2003
ASM
15 years 9 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...