1118 search results - page 130 / 224 » Scalable Planning for Distributed Stream Processing Systems |
146
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
121
click to vote
PERCOM
2008
ACM
16 years 2 months ago
2008
ACM
The complexity of developing and deploying context-aware pervasive-computing applications calls for distributed software infrastructures that assist applications to collect, aggre...
155
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
114
click to vote
LREC
2010
15 years 4 months ago
2010
We present a limited prototype of the CLARIN Language Technology Infrastructure (LTI) node, which provides several types of web services for Polish. The functionality encompasses ...
135
click to vote
TAP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...