647 search results - page 91 / 130 » Implementation of MAP: A system for mobile assistant program... |
163
click to vote
IPSN
2007
Springer
16 years 56 min ago
2007
Springer
The development of high-level programming environments is essential if wireless sensor networks are to be accessible to nonexperts. In this paper, we present the Regiment system, ...
164
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
String comparison is a critical issue in many application domains, including speech recognition, contents search, and bioinformatics. The similarity between two strings of lengths...
170
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
169
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
167
click to vote
PPDP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...