1305 search results - page 222 / 261 » The design context of concurrent computation systems |
214
click to vote
JCM
2008
15 years 6 months ago
2008
In this paper, we present a new simulation platform for complex, radio standard spanning mobile Ad Hoc networks. SimANet - Simulation Platform for Ambient Networks - allows the coe...
181
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
158
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Many users are familiar with the interesting but limited functionality of Data Detector interfaces like Microsoft's Smart Tags and Google's AutoLink. In this paper we si...
143
click to vote
IDEAS
2008
IEEE
16 years 18 days ago
2008
IEEE
In this paper we show the usefulness and feasibility of applying conventional SQL queries for analyzing a wide spectrum of data streams. As application area we have chosen the ana...
153
click to vote
RTSS
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...