17680 search results - page 3474 / 3536 » Simulation of Computer Systems and Applications |
168
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
233
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
A method for approximate subsequence matching is introduced, that significantly improves the efficiency of subsequence matching in large time series data sets under the dynamic ti...
151
Voted
MOBIHOC
2004
ACM
16 years 4 months ago
2004
ACM
In the near future, the advent of large-scale networks of mobile agents autonomously performing long-term sensing and communication tasks will be upon us. However, using controlle...
152
click to vote
WSDM
2010
ACM
16 years 2 months ago
2010
ACM
Activity in social media such as blogs, micro-blogs, social networks, etc is manifested via interaction that involves text, images, links and other information items. Naturally, s...
138
click to vote
PLDI
2010
ACM
16 years 2 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...